IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale.
Saved in:
| Title: | IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale. |
|---|---|
| Authors: | Huerta y Munive, Jonathan Julián1, huertjon@cvut.cz, Foster, Simon2, Gleirscher, Mario3, Struth, Georg4, Pardillo Laursen, Christian2, Hickman, Thomas2 |
| Source: | Journal of Automated Reasoning; Dec2024, Vol. 68 Issue 4, p1-50, 50p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01687433 |
|---|---|
| DOI: | 10.1007/s10817-024-09709-2 |
