fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

Veröffentlichungen, Zeitschriftenaufsätze und Broschüren mit Ergebnissen aus dem Institut

Wissenschaftliche Publikationen

Stichworte: Demonstrator

Liste als BibTeX-Datei exportieren

2013

  • 2013 Emergency Shutdown System Demonstrator using AutoFOCUS3 Anton Hattendorf und Sebastian Voss In Proceedings of the W8 Workshop on Industry-Driven Approaches for Cost-effective Certification of Safety-Critical, Mixed-Criticality Systems (WICERT) (co-located with DATE), Details BIB

2012