Search results for: Steve Riddle
Lecture Notes in Computer Science > COTS-Based Software Systems > Safety and Dependability > 168-177
Formal Aspects of Computing > 2009 > 21 > 3 > 245-257
Lecture Notes in Computer Science > COTS-Based Software Systems > Safety and Dependability > 168-177
Formal Aspects of Computing > 2009 > 21 > 3 > 245-257