设备自动巡检控制逻辑的层级时间自动机建模与验证

孙程,邢建春,杨启亮,韩德帅

Modeling and Verifying Device Automatic Polling Control Logic Using Hierarchical Timed Automata

SUN Cheng, XING Jian-chun, YANG Qi-liang and HAN De-shuai

计算机科学 . 2017, (4): 66 -71 . DOI: 10.11896/j.issn.1002-137X.2017.04.014