fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

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

Wissenschaftliche Publikationen

Stichworte: model checking

Liste als BibTeX-Datei exportieren

2011

  • Juli 2011 Model Checking Industrial Robot Systems Markus Weißmann, Stefan Bedenk, Christian Buckl und Alois Knoll In Proceedings of the 18th International Workshop on Model Checking of Software (SPIN 2011), Seiten 161–176, Springer-Verlag. Details URL DOI BIB
  • 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