Formale Methoden für eingebettete Systems

Die Informationen sind nur auf Englisch verfügbar, siehe hier.