Auflistung nach Autor "Herber, Paula"
Anzeige der Dokumente 1-3 von 3
-
Automatisierte HW/SW Co-Verifikation von SystemC Modellen mit Hilfe von Timed Automata
Herber, Paula
101-110 -
Formal Verification of Intelligent Hybrid Systems that are modeled with Simulink and the Reinforcement Learning Toolbox
Adelt, Julius; Liebrenz, Timm; Herber, Paula
29-30 -
Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models
Mikulcak, Marcus; Göthel, Thomas; Herber, Paula; Glesner, Sabine
1495-1508