Real-Time System Modeling and Verification Through Labeled Transition System Analyzer

Yilong Yang, Quan Zu, Wei Ke, Miaomiao Zhang, Xiaoshan Li

Research output: Contribution to journalArticlepeer-review

3 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Real-Time System Modeling and Verification Through Labeled Transition System Analyzer'. Together they form a unique fingerprint.

Computer Science