Object-oriented state machines: subclassing, composition, delegation, and genericity
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Generation of Execution Sequences for Modular Time Critical Systems
IEEE Transactions on Software Engineering
Logic Control and “Reactive” Systems: Algorithmization and Programming
Automation and Remote Control
Automated Software Engineering
On the Concurrent Object Model of UML
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
ROAD/EE: A Prototyping Environment for Object-Oriented Specifications
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software
IEEE Transactions on Software Engineering
Viewing CSP Specifications with UML-RT Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
Computer Languages, Systems and Structures
Analyzing a Pattern-Based Model of a Real-Time Turntable System
Electronic Notes in Theoretical Computer Science (ENTCS)
A semantics for UML-RT active classes via mapping into circus
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Hi-index | 0.00 |