2003

Blank, Claudia (2003)
Property verification of mixed data and control intensive designs.
Technische Universität Darmstadt
Dissertation, Bibliographie

2002

Blank, Claudia (2002)
Equivalence checking and resource allocation.
Konferenzveröffentlichung, Bibliographie

Eveking, Hans ; Blank, Claudia ; Krieger, Malte (2002)
Formale Verifikation eingebetteter Systeme.
Anderes, Bibliographie

Eveking, Hans ; Blank, Claudia ; Levihn, Jens (2002)
Korrekter Entwurf eingebetteter Systeme.
In: Eingebettete Systeme : Entwurf und Anwendungen versteckter Computer.- Darmstadt, 2002.- (Thema Forschung ; 2002,1).- S. 38-41
Artikel, Bibliographie

Levihn, Jens ; Krieger, Malte ; Eveking, Hans ; Blank, Claudia (2002)
MCML - a markup-language for a model-of-computation centred design and verification environment.
Konferenzveröffentlichung, Bibliographie

2001

Blank, Claudia ; Eveking, Hans ; Levihn, Jens ; Ritter, G. (2001)
Symbolic simulation techniques - state-of-the-art and applications.
Konferenzveröffentlichung, Bibliographie