Search results for: Stephen E. Paynter
Lecture Notes in Computer Science > FME 2001: Formal Methods for Increasing Software Productivity > 300-317
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Design for Dependability > 186-197
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Safety Cases > 3-16
Reliability Engineering and System Safety > 2007 > 92 > 11 > 1551-1562