Guozhen Cao

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Framework Enables

Top Venues

Publications

Han Peng, Xiaoli Zhang, Guozhen Cao, Zhouzhou Liu, Yuejuan Jing, Lei Rao
A Time Refinement Framework Based on iUML-B State Machine. Sci. Program. 2021 (2021)