Search results for: Elena Troubitsyna
Lecture Notes in Computer Science > Methods, Models and Tools for Fault Tolerance > Fault Tolerance: Modelling in B > 130-151
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Formal Methods and Systems > 254-268
Lecture Notes in Computer Science > Rigorous Development of Complex Fault-Tolerant Systems > Train Systems > 189-209
Lecture Notes in Computer Science > FM’99 — Formal Methods > Safety > 1564-1583
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The DEPLOY Project > 70-88
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Formal Methods and Security (Poster Session) > 350-360
Lecture Notes in Computer Science > Rigorous Development of Complex Fault-Tolerant Systems > Train Systems > 261-287
Lecture Notes in Computer Science > Software Engineering for Resilient Systems > Formal Modelling and Verification > 24-39
Lecture Notes in Computer Science > Rigorous Development of Complex Fault-Tolerant Systems > Train Systems > 241-260
Lecture Notes in Computer Science
Lecture Notes in Computer Science