Publications
[3] B. Steffen and S. Naujokat, “Archimedean points: the essence for mastering change,” in Transactions on foundations for mastering change I , vol. 9960, B. Steffen, Ed. Cham: Springer, 2016, pp. 22–46 [...] Dortmund, 2017. 2016 [1] S. Naujokat, J. Neubauer, T. Margaria, and B. Steffen, “Meta-level reuse for mastering domain specialization,” in Leveraging applications of formal methods, verification and validation [...] systems,” in Leveraging applications of formal methods, verification and validation. Technologies for mastering change , Kerkira, 2014, vol. 8802, pp. 481–498, doi: 10.1007/978-3-662-45234-9_33 . [8] F. Aarts …
