Susanne Graf

Formal methods for components and objects

2009

Verdachts- und ereignisunabhängige Personenkontrollen

2006

Formal Techniques for Distributed Objects, Components, and Systems

2015

Automated technology for verification and analysis

2006

Wir vom Jahrgang 1978 - Kindheit und Jugend

2006

Tools and Algorithms for the Construction and Analysis of Systems

2003

Real Time and Such

2024

Models, Mindsets, Meta : The What, the How, and the Why Not?

2019

Model Checking Software

2004

Lebendköder

2011

Formal Methods For Components And Objects 5th International Symposium Fmco 2006 Amsterdam Netherlands November 710 2006 Revised Lectures

2008

Formal methods for components and objects

2013