![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Cyber Physical Systems. Model-Based Design Volume 11615 (8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers) || A Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera X (Tool Demonstration)
Chamberlain, Roger, Taha, Walid, Törngren, MartinVolume:
10.1007/97
Year:
2019
Language:
english
DOI:
10.1007/978-3-030-23703-5_5
File:
PDF, 3.54 MB
english, 2019