Search results for: Colin Snook
Lecture Notes in Computer Science > Rigorous Development of Complex Fault-Tolerant Systems > Train Systems > 189-209
Lecture Notes in Computer Science > Methods, Models and Tools for Fault Tolerance > Fault Tolerance in System Development Process > 251-274
Lecture Notes in Computer Science > New Approaches in Software Measurement > Investigations in Software Process Improvement > 94-110
Lecture Notes in Computer Science > Abstract State Machines, B and Z > Chapter 5. ABZ Short Papers > 344-344
Lecture Notes in Computer Science > Rigorous Development of Complex Fault-Tolerant Systems > Train Systems > 326-342
Lecture Notes in Computer Science > B 2007: Formal Specification and Development in B > Regular Papers > 171-185
Software & Systems Modeling > 2015 > 14 > 4 > 1557-1580
Information and Software Technology > 2008 > 50 > 1-2 > 112-129