Treffer im Web
Dr. rer. nat. Dominique Marcel Gückel [Lehrstuhl Informatik 11 - Embedded Software Laboratory]
Dominique Gückel: Erweiterung des Model-Checkers [mc]square um benutzerdefinierte Umgebungen. Diplomarbeit, RWTH Aachen, 2007. Bastian Schlich, Dominique
Dr. rer. nat. Dominique Marcel Gückel [Lehrstuhl Informatik 11 - Embedded Software Laboratory]
Dr. rer. nat. Dominique Marcel Gückel Dr. rer. nat. Dominique Marcel Gückel | Wissenschaftlicher Mitarbeiter Tel. +49 241 80 21168 Fax +49 241 80 22150
Formale Methoden für eingebettete Systeme [Lehrstuhl Informatik 11 - Embedded Software Laboratory]
Dominique Gückel Zeige Quelltext RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland
Sommersemester 08 [Lehrstuhl Informatik 11 - Embedded Software Laboratory]
Betreuer: Carsten Weise, Bastian Schlich, Gerlind Herberich und Dominique Gückel
Implementierung eines Simulators für Renesas-Mikrocontroller [Lehrstuhl Informatik 11 - Embedded Software Laboratory]
Dr. rer. nat. Dominique Marcel Gückel
Formale Methoden für eingebettete Systeme [Lehrstuhl Informatik 11 - Embedded Software Laboratory]
Übung: Dr. rer. nat. Dominique Marcel Gückel Zeige Quelltext RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland