Publications
adaptive cruise control system,” in 2018 IEEE Workshop on Validation, Analysis and Evolution of Software Tests (VST) , Campobasso, Italy, 2018, doi: 10.1109/vst.2018.8327150 . [3] M. Jasper, M. Mues, M [...] Steffen, and F. Howar, “RERS 2018: CTL, LTL, and reachability,” in Leveraging applications of formal methods, verification and validation. Verification , Limassol, Cyprus, 2018, vol. 11245, pp. 433–447, doi: [...] to software engineering , Prague, 2019, vol. 11424, pp. 101–115, doi: 10.1007/978-3-030-16722-6_6 . 2018 Automatic composition of rough solution possibilities in the target planning of factory planning projects …
