Publications
Winkels In: Wissen-Lernen-Bildung in der Industrie 4.0 (Industrie 4.0 Management 2/2019) URL: https://industry-science.com/artikel/einfluss-der-industrie-4-0-auf-ausgewaehlte-kompetenz-und-rollenprofile- [...] aided verification , San Francisco, CA, 2015, vol. 9206, pp. 487–495, doi: 10.1007/978-3-319-21690-4_32 . [4] M. Isberner, B. Steffen, and F. Howar, “LearnLib tutorial: an open-source Java library for active [...] NASA formal methods , Moffett Field, CA, 2013, vol. 7871, pp. 124–138, doi: 10.1007/978-3-642-38088-4_9 . [4] A.-L. Lamprecht, S. Naujokat, and I. Schaefer, “Variability management beyond feature models,” …
