Liste als BibTeX-Datei exportieren

2019

• September 2019 How to Streamline AI Application in Government? A Case Study on Citizen Participation in Germany Dian Balta, Peter Kuhn, Mahdi Sellami, Daniel Kulus, Claudius Lieven und Helmut Krcmar In Electronic Government, Seiten 233–247, Cham, Lindgren, Ida and Janssen, Marijn and Lee, Habin and Polini, Andrea and Rodríguez Bolívar, Manuel Pedro and Scholl, Hans Jochen and Tambouris, Efthimios. Details URL DOI BIB

2017

• September 2017 EARS-CTRL: Building and Verifying Controllers for Dummies Levi Lúcio, Salman Rahman, Saad bin Abid und Alistair Mavin In Tools and Demo Session track at MoDELS 2017, Seiten 1–6, Details URL BIB
• 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, Details URL DOI BIB