Munive, Jonathan Huerta y, Foster, Simon David orcid.org/0000-0002-9889-9514, Gleirscher, Mario orcid.org/0000-0002-9445-6863 et al. (3 more authors) (2024) IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale. Journal of Automated Reasoning. 68. ISSN 0168-7433
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © The Author(s) 2024 |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Depositing User: | Pure (York) |
Date Deposited: | 04 Dec 2024 12:10 |
Last Modified: | 04 Dec 2024 12:10 |
Published Version: | https://doi.org/10.1007/s10817-024-09709-2 |
Status: | Published |
Refereed: | Yes |
Identification Number: | 10.1007/s10817-024-09709-2 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:220455 |
Download
Filename: s10817-024-09709-2.pdf
Description: IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale
Licence: CC-BY-NC-ND 2.5