E. Pilaud
MERLIN GERIN, Safety and Electronic Systeme Department
Safety demonstration and software development
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security