Verifying timing constraints in real-time systems

Xiaoying Bai, Ming Wang, Hao Lu, Wei Tek Tsai

Research output: Contribution to journalArticlepeer-review

2 Scopus citations

Fingerprint

Dive into the research topics of 'Verifying timing constraints in real-time systems'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science