The ProCoS Approach to Correct Systems
Real-Time Systems - Special issue on safety-critical systems
A formal model of real-time program compilation
Theoretical Computer Science
Compilation and Synthesis for Real-Time Embedded Controllers
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Compiler verification: a bibliography
ACM SIGSOFT Software Engineering Notes
Modelling program compilation in the refinement calculus
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Hi-index | 0.00 |