fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Keywords: tool support

Export list as BibTeX file

2011

  • 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