基于层次化时间STM软件设计的形式化验证
周宽久,任龙涛,王小龙,勇嘉伟,侯刚
Modeling and Formal Verification for Software Designs Based on Hierarchical Timed State Transition Matrix
ZHOU Kuan-jiu,REN Long-tao,WANG Xiao-long,YONG Jia-wei and HOU Gang
计算机科学
.
2014, (8): 42
-46
.
DOI: 10.11896/j.issn.1002-137X.2014.08.008