Author:
Behm Patrick,Desforges Pierre,Meynadier Jean -Marc
Publisher
Springer Berlin Heidelberg
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Formally Verified Static Hypervisor with Hardware Support for a Many-Core Chip;Euro-Par 2013: Parallel Processing Workshops;2014
2. Flush: an example of development by refinements in SCADE/Lustre;International Journal on Software Tools for Technology Transfer;2009-03-24
3. Incremental System Modelling in Event-B;Formal Methods for Components and Objects;2009
4. Retrenchment and the B-Toolkit;ZB 2005: Formal Specification and Development in Z and B;2005
5. Formal Methods Meet Domain Specific Languages;Lecture Notes in Computer Science;2005