Anton Hattendorf

Publikationen

Liste als BibTeX-Datei exportieren

  • 2013Emergency Shutdown System Demonstrator using AutoFOCUS3Anton 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), DetailsBIB