Model checking timed systems with urgencies

Pao Ann Hsiung, Shang Wei Lin, Yean Ru Chen, Chun Hsian Huang, Jia Jen Yeh, Hong Yu Sun, Chao Sheng Lin, Hsiao Win Liao

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)


Dive into the research topics of 'Model checking timed systems with urgencies'. Together they form a unique fingerprint.


Engineering & Materials Science