fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

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

Wissenschaftliche Publikationen

Stichworte: tool support

Liste als BibTeX-Datei exportieren

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