Auflistung nach Autor "Scheerer, Max"
Anzeige der Dokumente 1-2 von 2
-
Holistische Verifikation von Hybriden Quantenprogrammen durch Software Bounded Model Checking
Klamroth,Jonas; Scheerer, Max; Denninger, Oliver
1825-1830 -
SimuLizar NG: An extensible event-oriented simulation engine for self-adaptive software architectures
Krach, Sebastian Dieter; Scheerer, Max
43-45