Publications
Technologies for mastering change , Kerkira, 2014, vol. 8802, pp. 202–219, doi: 10.1007/978-3-662-45234-9_15 . [9] F. Howar, M. Isberner, and B. Steffen, “Tutorial: Automata learning in practice,” in Leveraging [...] and applications , Virtual Event, Jul. 2021, vol. 1446, pp. 172–194, doi: 10.1007/978-3-030-83014-4_9 . [3] F. Howar, M. Mues, and M. Mues, “Can We Trust Theorem Provers for Industrial AI?,” IEEE Software [...] Models, mindsets, meta: the what, the how, and the why not? DOI: https://doi.org/10.1007/978-3-030-22348-9_19 Preprin Preprint [1] B. Steffen, F. Gossen, S. Naujokat, and T. Margaria, “Language-driven engineering: …
