Michel Bidoit;Claude Chevenier;Christine Pellen;Jérôme Ryckbosch
-;-;-;-
Faithfully formalizing OSEK/VDX operating system specification
Proceedings of the Third Symposium on Information and Communication Technology