fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Keywords: Controller Synthesis

Export list as BibTeX file

2017

  • May 2017 Just Formal Enough? Automated Analysis of EARS Requirements Levi Lúcio, Salman Rahman, Chih-Hong Cheng and Alistair Mavin In NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings, pages 427–434, Details URL DOI BIB