A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dung Phan, Junxing Yang, Matthew Clark, Radu Grosu, John D. Schierman, Scott A. Smolka, Scott D. Stoller. A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems. In 17th International Conference on Application of Concurrency to System Design, ACSD 2017, Zaragoza, Spain, June 25-30, 2017. pages 49-58, IEEE Computer Society, 2017. [doi]

This author has not been identified. Look up 'Dung Phan' in GoogleThis author has not been identified. Look up 'Junxing Yang' in GoogleThis author has not been identified. Look up 'Matthew Clark' in GoogleThis author has not been identified. Look up 'Radu Grosu' in GoogleThis author has not been identified. Look up 'John D. Schierman' in GoogleThis author has not been identified. Look up 'Scott A. Smolka' in GoogleThis author has not been identified. Look up 'Scott D. Stoller' in Google

runs on WebDSL