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

researchr

You are not signed in
Sign in
Sign up

Andreas Müller 0015, Stefan Mitsch, Wieland Schwinger, André Platzer. A Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera X (Tool Demonstration). In Roger D. Chamberlain, Walid Taha, Martin Törngren, editors, Cyber Physical Systems. Model-Based Design - 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers. Volume 11615 of Lecture Notes in Computer Science, pages 91-110, Springer, 2018. [doi]

This author has not been identified. Look up 'Andreas Müller 0015' in GoogleThis author has not been identified. Look up 'Stefan Mitsch' in GoogleThis author has not been identified. Look up 'Wieland Schwinger' in GoogleThis author has not been identified. Look up 'André Platzer' in Google

runs on WebDSL