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

Applicant Professor Dr.-Ing. Jörn Pachl
Subject Area Theoretical Computer Science
Term from 1998 to 2005
Project identifier Deutsche Forschungsgemeinschaft (DFG) - Project number 5135392
 

Project Description