Document Preview

Design of safety -critical applications, a synthesis approach

Pinello, Claudio.   University of California, Berkeley ProQuest Dissertations Publishing,  2004. 3165526.