Search results for: Alessandro Fantechi
Empirical Software Engineering > 2018 > 23 > 6 > 3684-3733
Telecommunication Systems > 2017 > 66 > 1 > 75-93
Lecture Notes in Computer Science > SDL 2007: Design for Dependable Systems > Model Driven Engineering > 19-34
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Formal Methods > 420-430
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Verification and Testing I > 230-245
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Session 9: Formal Verification 3 > 383-396
Lecture Notes in Computer Science > Rigorous Development of Complex Fault-Tolerant Systems > Train Systems > 133-152
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2004 > Regular Papers > 259-275
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Selected Posters > 197-198
Lecture Notes in Computer Science > Software Product-Family Engineering > Requirements Analysis and Management > 152-167
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2003 > 111-126