Susanne Graf

• Automated technology for verification and analysis
• Formal methods for components and objects
• Formal methods for components and objects
• Formal methods for components and objects
• Formal Methods For Components And Objects 5th International Symposium Fmco 2006 Amsterdam Netherlands November 710 2006 Revised Lectures
• Models, Mindsets, Meta : The What, the How, and the Why Not?
• Formal Techniques for Distributed Objects, Components, and Systems
• Heimatklänge
• Model Checking Software
• Nutritive Knochenveränderungen bei Frühgeborenen mit einem Geburtsgewicht von unter 1250 g
• Real Time and Such
• Tools and Algorithms for the Construction and Analysis of Systems