Login / Signup
A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems.
Dung T. Phan
Junxing Yang
Matthew Clark
Radu Grosu
John D. Schierman
Scott A. Smolka
Scott D. Stoller
Published in:
CoRR (2017)
Keyphrases
</>
cyber physical systems
high assurance
cyber physical
physical world
cyber security
real time
fault tolerant
information systems
distributed systems
critical infrastructure
databases
database systems
computational intelligence
data processing
access control
embedded systems