IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale
| Title: | IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale |
|---|---|
| Authors: | Huerta y Munive, Jonathan JuliánAff1, IDs10817024097092_cor1; Foster, SimonAff2; Gleirscher, MarioAff3; Struth, GeorgAff4; Pardillo Laursen, ChristianAff2; Hickman, ThomasAff2 |
| Source: | Journal of Automated Reasoning. 68(4) |
| Database: | Springer Nature Journals |