A Tool for Transforming SysML State Machine into Uppaal Automatically - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shaopeng Wang, Jianqi Shi, Yanhong Huang, Yang Yang. A Tool for Transforming SysML State Machine into Uppaal Automatically. In IEEE International Conference on Systems, Man, and Cybernetics, SMC 2023, Honolulu, Oahu, HI, USA, October 1-4, 2023. pages 2471-2476, IEEE, 2023. [doi]

This author has not been identified. Look up 'Shaopeng Wang' in GoogleThis author has not been identified. Look up 'Jianqi Shi' in GoogleThis author has not been identified. Look up 'Yanhong Huang' in GoogleThis author has not been identified. It may be one of the following persons:

Yang Yang

Look up 'Yang Yang' in Google

runs on WebDSL