2017 17th International Conference on Application of Concurrency to System Design (ACSD)

Book title Buchtitel

Filter:

Subject: assume-guarantee re

Results 1-1 of 1 (Search time: 0.001 seconds).

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Phan, Dung ; Yang, Junxing ; Clark, Matthew ; Grosu, Radu ; Schierman, John ; Smolka, Scott ; Stoller, Scott	A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems	Konferenzbeitrag Inproceedings	2017