Liste als BibTeX-Datei exportieren

2015

• 2015 AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems Vincent Aravantinos , Sebastian Voss , Sabine Teufl , Florian Hölzl und Bernhard Schätz In ACES-MB&WUCOR@MoDELS 2015, . CEUR-WS.org, 1508 Ausgabe, 2015. Details URL BIB

2014

• März 2014 A framework for reliability-aware embedded system design on multiprocessor platforms Jia Huang , Simon Barner , Andreas Raabe , Christian Buckl und Alois Knoll Microprocessors and Microsystems, 38(6):539–551, März 2014. Details DOI 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

2011

• 2011 User-friendly Model Checking Integration in Model-based Development Alarico Campetelli , Florian Hölzl und Florian Neubeck In Proceedings of the 24th International Conference on Computer Applications in Industry and Engineering, 2011. Details BIB