Automated Conformance Verification of Hybrid Systems

Harald Brandl, Martin Weiglhofer, Bernhard Aichernig

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

Fingerprint

Untersuchen Sie die Forschungsthemen von „Automated Conformance Verification of Hybrid Systems“. Zusammen bilden sie einen einzigartigen Fingerprint.

Computer Science