fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Keywords: model checking

Export list as BibTeX file


  • July 2011 Model Checking Industrial Robot Systems Markus Weißmann, Stefan Bedenk, Christian Buckl and Alois Knoll In Proceedings of the 18th International Workshop on Model Checking of Software (SPIN 2011), pages 161–176, Springer-Verlag. Details URL DOI BIB
  • 2011 User-friendly Model Checking Integration in Model-based Development Alarico Campetelli, Florian Hölzl and Florian Neubeck In Proceedings of the 24th International Conference on Computer Applications in Industry and Engineering, Details BIB