fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

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

Wissenschaftliche Publikationen

Stichworte: AutoFOCUS

Liste als BibTeX-Datei exportieren

2016

2015

2014

2013

  • Mai 2013 Model-Based Safety Cases in AutoFOCUS3 (Tool Demonstration) Tim Kelly, Carmen Cârlan und Sebastian Voss In Proceedings of the 1st International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2013), Details URL BIB
  • April 2013 Deployment and Scheduling Synthesis for Mixed-Critical Shared Memory Applications Sebastian Voss und Bernhard Schätz In Proceedings of the Engineering Computer-Based Systems Conference (ECBS '13), Seiten 100–109, Phoenix, AZ, USA, IEEE. Details DOI BIB