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 journal › Article › peer-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