Search results for: Susanne Graf
Lecture Notes in Computer Science > Satellite Events at the MoDELS 2005 Conference > W3 – MARTES > 58-66
Lecture Notes in Computer Science > Models in Software Engineering > Model Based Architecting and Construction of Embedded Systems (ACES-MB) > 1-4
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Probability and Concurrency > 436-451
Lecture Notes in Computer Science > TAPSOFT'93: Theory and Practice of Software Development > 644-657
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2007 > Invited Talk > 1-18
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 52-66
Lecture Notes in Computer Science > Program Analysis and Compilation, Theory and Practice > Technical Papers > 201-224
Lecture Notes in Computer Science > Model Checking Software > Verification experiments on the MASCARA protocol > 123-142
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 38-57