硬实时软件建模与分析的进程代数方法
祝义，黄志球，张广泉，周航，肖芳雄
Method for Modeling and Analyzing Hard Real-Time Software Based on Process Algebra
ZHU Yi, HUANG Zhiqiu, ZHANG Guangquan, ZHOU Hang, XIAO Fangxiong
计算机科学与探索
.
2014, (6): 684
-693
.
DOI: 10.3778/j.issn.1673-9418.1311033
