Verifying timing constraints in real-time systems

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

Research output: Contribution to journalArticle

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