Auflistung nach Autor "Runge, Tobias"
Anzeige der Dokumente 1-2 von 2
-
Skill-Based Verification of Cyber-Physical Systems
Knüppel, Alexander; Jatzkowski, Inga; Nolte, Marcus; Runge, Tobias; Thüm, Thomas; Schaefer, Ina
67-68 -
Tool Support for Correctness-by-Construction
Runge, Tobias; Schaefer, Ina; Cleophas, Loek; Thüm, Thomas; Kourie, Derrick; Watson, Bruce W.
93-94