ACM Transactions on Programming Languages and Systems (TOPLAS)
Real-time object-oriented modeling
Real-time object-oriented modeling
HRT-HOOD: a structured design method for hard real-time systems
Real-Time Systems
Real-time UML (2nd ed.): developing efficient objects for embedded systems
Real-time UML (2nd ed.): developing efficient objects for embedded systems
Design Patterns CD: Elements of Reusable Object-Oriented Software, (CD-ROM)
Design Patterns CD: Elements of Reusable Object-Oriented Software, (CD-ROM)
Real-Time Modeling with UML: The ACCORD Approach
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
Data-Structures for the Verification of Timed Automata
HART '97 Proceedings of the International Workshop on Hybrid and Real-Time Systems
Efficient verification of real-time systems: compact data structure and state-space reduction
RTSS '97 Proceedings of the 18th IEEE Real-Time Systems Symposium
Foundations of the unified modeling language
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Experiences in deploying model-driven engineering
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
| Hi-index | 0.00 |