C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Verifying Cyber-Physical Interactions in Safety-Critical Systems.
Sayan Mitra
Tichakorn Wongpiromsarn
Richard M. Murray
Published in:
IEEE Secur. Priv. (2013)
Keyphrases
</>
safety critical
cyber physical
formal methods
safety analysis
fault tolerant
embedded systems
agent architecture
management system
virtual environment
model checking
artificial intelligence
low cost
distributed systems
decision support system
support systems
cyber physical systems