Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Tobias Runge, Thomas Thüm, Ina Schaefer. Skill-Based Verification of Cyber-Physical Systems. In Anne Koziolek, Ina Schaefer, Christoph Seidl 0001, editors, Software Engineering 2021, Fachtagung des GI-Fachbereichs Softwaretechnik, 22.-26. Februar 2021, Braunschweig/Virtuell. Volume P-310 of LNI, pages 67-68, Gesellschaft für Informatik e.V., 2021. [doi]
@inproceedings{KnuppelJNRTS21,
title = {Skill-Based Verification of Cyber-Physical Systems},
author = {Alexander Knüppel and Inga Jatzkowski and Marcus Nolte and Tobias Runge and Thomas Thüm and Ina Schaefer},
year = {2021},
doi = {10.18420/SE2021_22},
url = {https://doi.org/10.18420/SE2021_22},
researchr = {https://researchr.org/publication/KnuppelJNRTS21},
cites = {0},
citedby = {0},
pages = {67-68},
booktitle = {Software Engineering 2021, Fachtagung des GI-Fachbereichs Softwaretechnik, 22.-26. Februar 2021, Braunschweig/Virtuell},
editor = {Anne Koziolek and Ina Schaefer and Christoph Seidl 0001},
volume = {P-310},
series = {LNI},
publisher = {Gesellschaft für Informatik e.V.},
isbn = {978-3-88579-704-3},
}