fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Keywords: formal analysis

Export list as BibTeX file

2014

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