Johanna Nellen
发表
Erika Ábrahám,
Johanna Nellen,
Benedikt Wolters,
2015,
GCAI.
Erika Ábrahám,
Walter Unger,
Johanna Nellen,
2017
.
Joost-Pieter Katoen,
Erika Ábrahám,
Thomas Rambow,
2018,
FM.
Thiemo Leonhardt,
Nils Jansen,
Philipp Brauner,
2011,
Koli Calling.
Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development
pdf
Joost-Pieter Katoen,
Erika Ábrahám,
Thomas Rambow,
2019,
FMICS.
Erika Ábrahám,
Martin R. Neuhäußer,
Johanna Nellen,
2016,
Inf. Syst. Frontiers.
Erika Ábrahám,
Johanna Nellen,
2014,
Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014).
Xin Chen,
Erika Ábrahám,
Pieter Collins,
2013,
FTSCS.
Erika Ábrahám,
Johanna Nellen,
2012,
MBMV.
Erika Ábrahám,
Martina Josevski,
Dirk Abel,
2015,
2015 IEEE Conference on Control Applications (CCA).
Erika Ábrahám,
Johanna Nellen,
Benedikt Wolters,
2015,
Formalisms for Reuse and Systems Integration.
Erika Ábrahám,
Johanna Nellen,
Stefan Schupp,
2017,
QAPL@ETAPS.