A Time Refinement Framework Based on iUML-B State Machine

by Han Peng, Xiaoli Zhang, Guozhen Cao, Zhouzhou Liu, Yuejuan Jing, Lei Rao
Published 2021-01-01