Dies ist eine alte Version des Dokuments!
Einführung in die Technische Informatik
Praktikum Systemprogrammierung
Dynamische Systeme für Informatiker
State/event-based software specification & analysis
Safe and Sound: Testing and Model Checking of Embedded Systems