Iain D. Craig
-
An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric RTOS
FM '08 Proceedings of the 15th international symposium on Formal Methods
Faithfully formalizing OSEK/VDX operating system specification
Proceedings of the Third Symposium on Information and Communication Technology