Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Marisol García-Valls
Online Verification in Cyber-Physical Systems: Practical Bounds for Meaningful Temporal Costs
Journal of Software: Evolution and Process
Related publications
BraceAssertion: Runtime Verification of Cyber-Physical Systems
Spatio-Temporal Event Model for Cyber-Physical Systems
Reflex Language: A Practical Notation for Cyber-Physical Systems
System Informatics
Invariant Synthesis for Verification of Parameterized Cyber-Physical Systems With Applications to Aerospace Systems
Model-Based Compositional Verification Approaches and Tools Development for Cyber-Physical Systems
Cyber Physical Systems
Data Acquisition Subsystem for Cyber-Physical Systems of Agricultural Production Monitoring and Its Verification
Measuring Equipment and Metrology
Designed-In Security for Cyber-Physical Systems
IEEE Security and Privacy
Computer Networks
Electronic Engineering
Law
Electrical
Communications
Orchestrated Platform for Cyber-Physical Systems
Complexity
Multidisciplinary
Computer Science
