Simulation of real-time systems with clock calculus

Kai Hu, Teng Zhang, Zhibin Yang, Wei Tek Tsai

Research output: Contribution to journalArticlepeer-review

6 Scopus citations

Fingerprint

Dive into the research topics of 'Simulation of real-time systems with clock calculus'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science