10.3778/j.issn.1673-9418.1311033
硬实时软件建模与分析的进程代数方法
实时软件、硬实时、进程代数、时间通信顺序进程、模型检验
TP311(计算技术、计算机技术)
The National Natural Science Foundation of China under Grant Nos.61272083,61262002;the Natural Science Foundation of Jiangsu Province of China under Grant No. BK2011281;the Natural Science Foundation of Jiangsu Normal University under Grant No.11XLR20
2014-06-25(万方平台首次上网日期,不代表论文的发表时间)
共10页
684-693