A Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera X (Tool Demonstration)

Andreas Müller, Stefan Mitsch, Wieland Schwinger, André Platzer

Publikation: Beitrag in Buch/Bericht/TagungsbandKonferenzbeitragBegutachtung

2 Zitate (Scopus)

Fingerprint

Untersuchen Sie die Forschungsthemen von „A Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera X (Tool Demonstration)“. Zusammen bilden sie einen einzigartigen Fingerprint.

Mathematik

Ingenieurwesen & Materialwissenschaft