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.- sortieren
- Gewicht:
- Alphabetisch
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/Tagungsband › Konferenzbeitrag › Begutachtung
2
Zitate
(Scopus)