Timed patterns: TCOZ to timed automata

Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi

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

77 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Timed patterns: TCOZ to timed automata'. Together they form a unique fingerprint.

Engineering & Materials Science