Search results for: J. A. McDermid
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Assessment and Certification > 13-26
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 139-141
Lecture Notes in Computer Science
Microprocessors and Microsystems > 1995 > 19 > 9 > 517-524