Online Verification in Cyber-Physical Systems: Practical Bounds for Meaningful Temporal Costs

Journal of Software: Evolution and Process
doi 10.1002/smr.1880
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Wiley

Related search

BraceAssertion: Runtime Verification of Cyber-Physical Systems

2015English

Spatio-Temporal Event Model for Cyber-Physical Systems

2009English

Reflex Language: A Practical Notation for Cyber-Physical Systems

System Informatics
2018English

Invariant Synthesis for Verification of Parameterized Cyber-Physical Systems With Applications to Aerospace Systems

2013English

Model-Based Compositional Verification Approaches and Tools Development for Cyber-Physical Systems

English

Cyber Physical Systems

2019English

Data Acquisition Subsystem for Cyber-Physical Systems of Agricultural Production Monitoring and Its Verification

Measuring Equipment and Metrology
2018English

Designed-In Security for Cyber-Physical Systems

IEEE Security and Privacy
Computer NetworksElectronic EngineeringLawElectricalCommunications
2014English

Orchestrated Platform for Cyber-Physical Systems

Complexity
MultidisciplinaryComputer Science
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy