- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
1 Online-Ressource.
- Sprache
-
Englisch
- Erschienen in
-
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
- Urheber
-
Huerta y Munive, Jonathan Julián
Foster, Simon
Gleirscher, Mario
Struth, Georg
Pardillo Laursen, Christian
Hickman, Thomas
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10817-024-09709-2
- URN
-
urn:nbn:de:101:1-2502262141079.915074410905
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:28 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Huerta y Munive, Jonathan Julián
- Foster, Simon
- Gleirscher, Mario
- Struth, Georg
- Pardillo Laursen, Christian
- Hickman, Thomas
- SpringerLink (Online service)
Ähnliche Objekte (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