Skill-Based Verification of Cyber-Physical Systems

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]

Abstract

Abstract is missing.