fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

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

Wissenschaftliche Publikationen

Stichworte: systems engineering

Liste als BibTeX-Datei exportieren

2016

  • 2016 Integrated Formal Methods for Constructing Assurance Cases Carmen Cârlan, Tewodros Beyene und Harald Rueß In Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Seiten 221–228, IEEE. Details DOI BIB
  • 2016 On Using Results of Code-level Bounded Model Checking in Assurance Carmen Cârlan, Daniel Ratiu und Bernhard Schätz In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Band 9923 von LNCS, Seiten 30-42, Springer. Details DOI BIB

2015