Blättern nach Person
 | Ebene hoch |
Anzahl der Einträge: 2.
Konferenzveröffentlichung
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
Anderes
Eveking, Hans ; Blank, Claudia ; Krieger, Malte (2002)
Formale Verifikation eingebetteter Systeme.
Anderes, Bibliographie
Drucken
Impressum