Justifying the dependability of computer-based aystems : with applications in nuclear engineering /

57

Bibliographic Details
Main Author: 322983 Courtois, Pierre-Jacques
Format:
Language:eng
Published: London, UK : Springer, 2008
Subjects: