Fingerprint
Dive into the research topics of 'Brace: assertion-driven development of cyber-physical systems applications'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Xi Zheng, Chien-Liang Fok, Christine Julien, Sarfraz Khurshid, Miryung Kim
Research output: Contribution to journal › Article