- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale ; volume:68 ; number:4 ; day:19 ; month:10 ; year:2024 ; pages:1-50 ; date:12.2024
Journal of automated reasoning ; 68, Heft 4 (19.10.2024), 1-50, 12.2024
- Creator
-
Huerta y Munive, Jonathan Julián
Foster, Simon
Gleirscher, Mario
Struth, Georg
Pardillo Laursen, Christian
Hickman, Thomas
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10817-024-09709-2
- URN
-
urn:nbn:de:101:1-2502262141079.915074410905
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:28 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Huerta y Munive, Jonathan Julián
- Foster, Simon
- Gleirscher, Mario
- Struth, Georg
- Pardillo Laursen, Christian
- Hickman, Thomas
- SpringerLink (Online service)
Other Objects (12)
Formal modeling and verification of cyber-physical systems : Bremen, Germany, September 2015
Specification and verification for real-time coordination protocols of cyber-physical systems
On Diagnosing Cyber-Physical Systems
Accountability for Cyber-Physical Systems
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Automated Verification and Control of Large-Scale Stochastic Cyber-Physical Systems: Compositional Techniques
Extensions of Polynomial Zonotopes and their Application to Verification of Cyber-Physical Systems
Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems
Machine learning and data-driven techniques for verification and synthesis of cyber-physical systems
Advanced virtual prototyping for cyber-physical systems using RISC-V: implementation, verification and challenges
MAC protocols for cyber-physical systems
Formal modeling and verification of cyber-physical systems : Bremen, Germany, September 2015
Specification and verification for real-time coordination protocols of cyber-physical systems
On Diagnosing Cyber-Physical Systems
Accountability for Cyber-Physical Systems
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Automated Verification and Control of Large-Scale Stochastic Cyber-Physical Systems: Compositional Techniques
Extensions of Polynomial Zonotopes and their Application to Verification of Cyber-Physical Systems
Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems
Machine learning and data-driven techniques for verification and synthesis of cyber-physical systems
Advanced virtual prototyping for cyber-physical systems using RISC-V: implementation, verification and challenges
MAC protocols for cyber-physical systems
Formal modeling and verification of cyber-physical systems : Bremen, Germany, September 2015
Specification and verification for real-time coordination protocols of cyber-physical systems
On Diagnosing Cyber-Physical Systems
Accountability for Cyber-Physical Systems
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Automated Verification and Control of Large-Scale Stochastic Cyber-Physical Systems: Compositional Techniques
Extensions of Polynomial Zonotopes and their Application to Verification of Cyber-Physical Systems
Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems
Machine learning and data-driven techniques for verification and synthesis of cyber-physical systems
Advanced virtual prototyping for cyber-physical systems using RISC-V: implementation, verification and challenges