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), 2013. 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, April 2012. Details DOI BIB