FORMS / FORMAT 2014
26.03.2014 13:19
Vom 30.09.2014 - 02.10.2014 findet in Braunschweig das 10. Symposium FORMS / FORMAT 2014 zum Thema: "Formal Methods for Automation and Safety in Railway and Automotive Systems" statt.
Nährer Informationen finden Sie hier:
Informationen zum Call for Papers
![](uploads/media/aktuelles_2.jpg)
Kontakt
Institut für Sicherungssysteme
Bergische Universität Wuppertal
Institut für Sicherungssysteme (ISS)
Talstr. 71
42551 Velbert
T: 02051/93322-0
F: 02051/93322-29