A Time Refinement Framework Based on iUML-B State Machine

Han Peng, Xiaoli Zhang, Guozhen Cao, Zhouzhou Liu, Yuejuan Jing, Lei Rao. A Time Refinement Framework Based on iUML-B State Machine. Scientific Programming, 2021, 2021. [doi]

Abstract

Abstract is missing.