Amanote Research
Register
Sign In
BraceAssertion: Runtime Verification of Cyber-Physical Systems
doi 10.1109/mass.2015.15
Full Text
Open PDF
Abstract
Available in
full text
Date
October 1, 2015
Authors
Xi Zheng
Christine Julien
Rodion Podorozhny
Franck Cassez
Publisher
IEEE
Related search
Towards a Model@runtime Middleware for Cyber Physical Systems
Runtime Verification of Stochastic Systems
Runtime Verification of Stochastic, Faulty Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Incremental Runtime Verification of Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Invariant Synthesis for Verification of Parameterized Cyber-Physical Systems With Applications to Aerospace Systems
Cyber Physical Systems
Online Verification in Cyber-Physical Systems: Practical Bounds for Meaningful Temporal Costs
Journal of Software: Evolution and Process
Model-Based Compositional Verification Approaches and Tools Development for Cyber-Physical Systems
Data Acquisition Subsystem for Cyber-Physical Systems of Agricultural Production Monitoring and Its Verification
Measuring Equipment and Metrology
