The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specification of software controlling a discrete-continuous environment
ICSE '97 Proceedings of the 19th international conference on Software engineering
Extending the SCR Method for Real-Time Systems
Real-Time Systems
Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts
Formal Methods in System Design
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models
IEEE Transactions on Software Engineering
The Model Multiplicity Problem: Experimenting with Real-Time Specification Methods
IEEE Transactions on Software Engineering
On the concurrent behaviour of SCR specifications
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Embedded Systems: Challenges in Specification and Verification
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
A formal requirements engineering method for specification, synthesis, and verification
SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
Safecharts for Specifying and Designing Safety Critical Systems
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
Hybrid object-oriented real-time software development with VDM/sup ++/
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Modular design and verification of component-based mechatronic systems with online-reconfiguration
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Journal of Visual Languages and Computing
Stability of continuous hybrid systems
Cybernetics and Systems Analysis
Relating Hybrid Chi to Other Formalisms
Electronic Notes in Theoretical Computer Science (ENTCS)
Hybrid statecharts to model continuous and discrete behavior in engineering systems
AMCOS'05 Proceedings of the 4th WSEAS International Conference on Applied Mathematics and Computer Science
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
An evaluation of timed scenario notations
Journal of Systems and Software
Amir Pnueli and the dawn of hybrid systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Towards UML-based formal specifications of component-based real-time software
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Hybrid Automata as a Modelling Approach in the Behavioural Sciences
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |