Brace: assertion-driven development of cyber-physical systems applications

Xi Zheng, Chien-Liang Fok, Christine Julien, Sarfraz Khurshid, Miryung Kim

Research output: Contribution to journalArticle

Fingerprint

Dive into the research topics of 'Brace: assertion-driven development of cyber-physical systems applications'. Together they form a unique fingerprint.

Engineering & Materials Science