Dies ist eine alte Version des Dokuments!
Dipl.-Inform. Sebastian Biallas
Kontakt
| |
|
Wissenschaftlicher Mitarbeiter Tel. +49 241 80 21158 Fax +49 241 80 22150 Email: biallas[at]embedded[dot]rwth-aachen[dot]de Adresse: Ahornstr. 55, 52074 Aachen, Germany Büro: Raum 2325 (Gebäude H) Sprechstunde: nach Vereinbarung |
Forschungsschwerpunkt
Verifikation von SPS-Programmen mittels Model-Checking und statischer Analyse
Publikationen
Publikations-Export
Lehre
Vorlesungen
- Wintersemester 10/11: Einführung in die Technische Informatik
- Wintersemester 11/12: Einführung in die Technische Informatik
Diplom-, Bachelor- und Masterarbeiten
In Bearbeitung
RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland