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

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