TY  - RPRT
TI  - A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems
AU  - Dung Phan
AU  - Junxing Yang
AU  - Matthew Clark
AU  - Radu Grosu
AU  - John D. Schierman
AU  - Scott A. Smolka
AU  - Scott D. Stoller
PY  - 2017
DO  - 10.1109/acsd.2017.23
UR  - https://arxiv.org/abs/1704.04759
ID  - 1704.04759
ER  -