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:
ACSD (2017)
Keyphrases
</>
cyber physical systems
high assurance
cyber physical
physical world
real time
embedded systems
cyber security
access control
software systems
critical infrastructure
information systems
decision making
knowledge discovery
fault tolerant