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

• April 2012 Demo Abstract: An Inverted Pendulum demonstrator for Timed Model-based Design of Embedded Systems Kai Huang, Gang Chen, Nadine Keddis, Michael Geisinger und Christian Buckl In 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems (ICCPS), Seiten 224, Details DOI BIB