Liste als BibTeX-Datei exportieren

2018

• August 2018 Formalizing EARS – First Impressions Levi Lúcio und Tahira Iqbal In 2018 1st International Workshop on Easy Approach to Requirements Syntax (EARS), Seiten 11-13, August 2018. Details DOI BIB

2017

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