Amanote Research
Register
Sign In
Analyzing Neighborhoods of Falsifying Traces in Cyber-Physical Systems
doi 10.1145/3055004.3055029
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2017
Authors
Ram Das Diwakaran
Sriram Sankaranarayanan
Ashutosh Trivedi
Publisher
ACM Press
Related search
Cyber Physical Systems
Interfaces in Evolving Cyber-Physical Systems-Of-Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Cyber-Physical Systems in Electrochemical Measurements
System technologies
Mutual Exclusion in Cyber-Physical Systems
Rigorous Design of Cyber-Physical Systems
Inaugural Issue of ‘Cyber-Physical Systems’
Cyber-Physical Systems
Computational Mechanics
Pattern Recognition
Computer Vision
Computer Graphics
Computer-Aided Design
Cyber-Security Incidents: A Review Cases in Cyber-Physical Systems
International Journal of Advanced Computer Science and Applications
Computer Science
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
