Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts
Formal Methods in System Design
Compositional Refinement of Interactive Systems Modelled by Relations
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
A Logical Basis for Modular Software and Systems Engineering
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
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 hierarchies of models for embedded systems
Formal methods and models for system design
Systematic testing of the continuous behavior of automotive systems
Proceedings of the 2006 international workshop on Software engineering for automotive systems
Continuous TTCN-3: testing of embedded control systems
Proceedings of the 2006 international workshop on Software engineering for automotive systems
Modeling Property Based Stream Templates with TTCN-3
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Specifying the worst case: orthogonal modeling of hardware errors
Proceedings of the eighteenth international symposium on Software testing and analysis
Time, Abstraction, Causality and Modularity in Interactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A stepwise development process for reasoning about the reliability of real-time systems
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
From "formal methods" to system modeling
Formal methods and hybrid real-time systems
A methodology for testing intersection related Vehicle-2-X applications
Computer Networks: The International Journal of Computer and Telecommunications Networking
Hi-index | 0.00 |