The CIP method: component- and model-based construction of embedded systems
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Mode-automata: a new domain-specific construct for the development of safe critical systems
Science of Computer Programming - Special issure on formal methods for industrial critical systems (FMICS 2000)
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Tracing secure information flow through mode changes
ACSC '06 Proceedings of the 29th Australasian Computer Science Conference - Volume 48
Towards behavior elaboration and synthesis using modes
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Running-modes of real-time systems: a case-study with mode-automata
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Hi-index | 0.00 |