计算机工程2018，Vol.44Issue(5)：60-65,77,7.DOI:10.19678/j.issn.1000-3428.0046855
任务关键系统的时间约束验证与最优路径分析
Time Constraint Verification and Optimal Path Analysis of Mission Critical System
摘要
关键词
Web服务组合/任务关键系统/时间验证/最优路径/着色时间Petri网分类
信息技术与安全科学引用本文复制引用
陈莹,孙晓波,邢建春,杨启亮..任务关键系统的时间约束验证与最优路径分析[J].计算机工程,2018,44(5):60-65,77,7.基金项目
国家自然科学基金“基于声表面波的埋人式钢筋锈蚀传感器研究”(51505499) （51505499）
江苏省自然科学基金“面向开放环境的软件模糊自适应运行机理与构造方法”(BK20151451). （BK20151451）
