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, 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, 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, Details BIB