fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

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

Wissenschaftliche Publikationen

Stichworte: formal analysis

Liste als BibTeX-Datei exportieren

2014

  • August 2014 Understanding and closing the gap between requirements on system and subsystem level Sabine Teufl, Wolfgang Böhm und Ralf Pinger In Model-Driven Requirements Engineering Workshop (MoDRE), 2014 IEEE 4th International, Seiten 77-86, Details DOI BIB