TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit.
- Published in:
- IEEE Transactions on Software Engineering, 2004, v. 30, n. 7, p. 473, doi. 10.1109/TSE.2004.34
- By:
- Publication type:
- Article
Works matching IS 00985589 AND DT 2004 AND VI 30 AND IP 7
Results: 5
1
2
Abstract Communication Model for Distribution Systems.
- Published in:
- IEEE Transactions on Software Engineering, 2004, v. 30, n. 7, p. 458, doi. 10.1109/TSE.2004.25
- By:
- Publication type:
- Article
3
Shortening Matching Time in OPS5 Production System.
- Published in:
- IEEE Transactions on Software Engineering, 2004, v. 30, n. 7, p. 448, doi. 10.1109/TSE.2004.32
- By:
- Publication type:
- Article
4
Tool Support for Verifying UML Activity Diagrams.
- Published in:
- IEEE Transactions on Software Engineering, 2004, v. 30, n. 7, p. 437, doi. 10.1109/TSE.2004.33
- By:
- Publication type:
- Article
5
FSM-Based Incremental Conformance Testing Methods.
- Published in:
- IEEE Transactions on Software Engineering, 2004, v. 30, n. 7, p. 425, doi. 10.1109/TSE.2004.31
- By:
- Publication type:
- Article