UPPAAL-Based Model Structure Transformation Algorithm from STM to TA

Zhanjun Huang, Yiming Wang, Wenzhuo Shang, Jianing Yan, An Zhang

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Fingerprint

Dive into the research topics of 'UPPAAL-Based Model Structure Transformation Algorithm from STM to TA'. Together they form a unique fingerprint.

Computer Science

Material Science

Engineering