fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

Veröffentlichungen, Zeitschriftenaufsätze und Broschüren mit Ergebnissen aus dem Institut

Wissenschaftliche Publikationen

Stichworte: Embedded Systems

Liste als BibTeX-Datei exportieren

2015

2014

2012

2011

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