Amanote Research
Register
Sign In
Model-Based Compositional Verification Approaches and Tools Development for Cyber-Physical Systems
doi 10.31274/etd-180810-6074
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Hao Ren
Publisher
Iowa State University
Related search
BraceAssertion: Runtime Verification of Cyber-Physical Systems
Spatio-Temporal Event Model for Cyber-Physical Systems
Online Verification in Cyber-Physical Systems: Practical Bounds for Meaningful Temporal Costs
Journal of Software: Evolution and Process
Invariant Synthesis for Verification of Parameterized Cyber-Physical Systems With Applications to Aerospace Systems
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems
Proceedings of the IEEE
Electronic Engineering
Electrical
Computer Science
Data Acquisition Subsystem for Cyber-Physical Systems of Agricultural Production Monitoring and Its Verification
Measuring Equipment and Metrology
Towards a Model@runtime Middleware for Cyber Physical Systems
Cyber Physical Systems
Orchestrated Platform for Cyber-Physical Systems
Complexity
Multidisciplinary
Computer Science
