S
Susanne Graf
12 works on record
Works
Formal methods for components and objects
Automated technology for verification and analysis
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?
Real Time and Such
Real Time and Such
2024
Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
2015
Verdachts- und ereignisunabhängige Personenkontrollen
Verdachts- und ereignisunabhängige Personenkontrollen
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Model Checking Software
Model Checking Software
Heimatklänge
Heimatklänge
Wir vom Jahrgang 1978 - Kindheit und Jugend
Wir vom Jahrgang 1978 - Kindheit und Jugend
Nutritive Knochenveränderungen bei Frühgeborenen mit einem Geburtsgewicht von unter 1250 g
Nutritive Knochenveränderungen bei Frühgeborenen mit einem Geburtsgewicht von unter 1250 g