Specification, Implementation, and Validation of Object-Oriented Embedded Systems
ECOOP '01 Proceedings of the Workshops on Object-Oriented Technology
Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
CESC: a visual formalism for specification and verification of SoCs
Proceedings of the 14th ACM Great Lakes symposium on VLSI
A scenario based notation for specifying temporal properties
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Graphical scenarios for specifying temporal properties: an automated approach
Automated Software Engineering
Failure-free coordinators synthesis for component-based architectures
Science of Computer Programming
Timed high-level message sequence charts for real-time system design
SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles
Scenario-based verification in presence of variability using a synchronous approach
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |
Abstract: The Real-Time CORBA and minimumCORBA specifications in the forthcoming CORBA 3.0 standard are important steps towards defining standard-based middleware which can satisfy real-time requirements in an embedded system. This article describes ...