Formale Methoden für eingebettete Systems


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


RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland