Integration von Methoden zur Spezifikation und Verifikation von Sicherungseinrichtungen im spurgeführten Verkehr

Antragsteller Professor Dr.-Ing. Jörn Pachl
Fachliche Zuordnung Theoretische Informatik
Förderung Förderung von 1998 bis 2005
Projektkennung Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5135392
 

Projektbeschreibung

Keine Zusammenfassung vorhanden
DFG-Verfahren Schwerpunktprogramme
Teilprojekt zu SPP 1064:  Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen