Modular refinement of hierarchic reactive machines
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts
Formal Methods in System Design
Compositional Refinement for Hierarchical Hybrid Systems
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Discrete-Time Refinement of Hybrid Automata
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Modular Specification of Hybrid Systems in CHARON
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Properties of Hybrid Systems—A Computer Science Perspective
Formal Methods in System Design
Refinement of hybrid systems: from formal models to design languages
Languages for system specification
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
Modular verification of safe online-reconfiguration for proactive components in mechatronic UML
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Hi-index | 0.00 |