Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Person

Druckansicht

Dr. Bastian Schlich

Adresse Rheinisch-Westfälische Technische Hochschule Aachen
Informatik 11: Lehrstuhl Software für eingebettete Systeme
Ahornstraße 55
52074 Aachen

Projekte

Als Ehemaliger Antragsteller
- abgeschlossene Projekte
  - Verifikation von Programmen für speicherprogrammierbare Steuerungen mit Hilfe statischer Analyse und direktem Model-Checking (Sachbeihilfen) (8/2009 - 2/2010)

© 2024 DFG Kontakt / Impressum / Datenschutz