fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

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

Wissenschaftliche Publikationen

Stichworte: Model-Based Development

Liste als BibTeX-Datei exportieren

2017

  • September 2017GSN Support of Mixed-Criticality Systems CertificationCarlos-Fernando Nicolas, Fernando Eizaguirre, Asier Larrucea Ortube, Simon Barner, Franck Chauvel, Goiuria Sagardui und Jon Pérez In Proceedings of the SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Seiten 157–172, Springer. DetailsDOIBIB

2015

2013

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

2010

2009

  • Juni 2009A Software Architecture for Model-Based Programming of Robot SystemsMichael Geisinger, Simon Barner, Martin Wojtczyk und Alois Knoll In Advances in Robotics Research – Theory, Implementation, Application, Seiten 135–146, Springer. DetailsDOIBIB

2008