Auflistung nach Autor "Göthel, Thomas"
Anzeige der Dokumente 1-3 von 3
-
Comprehensible Decisions in Complex Self-Adaptive Systems
Klös, Verena; Göthel, Thomas; Glesner, Sabine
215-216 -
Maschinelle Verifikation von parametrisierten Echtzeitsystemen
Göthel, Thomas
121-130 -
Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models
Mikulcak, Marcus; Göthel, Thomas; Herber, Paula; Glesner, Sabine
1495-1508