Wyniki wyszukiwania dla: Sari Leppänen
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Sytems — FORTE 2002 > 178-193
Lecture Notes in Computer Science > Methods, Models and Tools for Fault Tolerance > Fault Tolerance: Modelling in B > 130-151
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > Modeling Methods > 331-345
Lecture Notes in Computer Science > Rigorous Development of Complex Fault-Tolerant Systems > Train Systems > 261-287