fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

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

Wissenschaftliche Publikationen

Liste als BibTeX-Datei exportieren

2013

2012

  • November 2012 Implementation of an event-based low-level control for mobile robots Gottfried Koppensteiner , Christian Schwingenschlögl , Munir Merdan und Alois Zoitl In Mechatronics and Machine Vision in Practice (M2VIP), 2012 19th International Conference, Seiten 135-140, November 2012. Details URL BIB
  • November 2012 Towards Certified Runtime Verification Jan Olaf Blech , Yliès Falcone und Klaus Becker In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM 2012), Kyoto, Japan, November 2012. ACM. Details DOI BIB
  • Oktober 2012 A Generic Approach Simplifying Model-to-Model Transformation Chains Gerd Kainz , Christian Buckl und Alois Knoll In Robert France , Jürgen Kazmeier , Ruth Breu und Colin Atkinson , Editor, Model Driven Engineering Languages and Systems, Band 7590 von Lecture Notes in Computer Science, Seiten 579–594. Springer-Verlag, Berlin / Heidelberg, Germany, Oktober 2012. Details DOI BIB