计算机工程2014，Vol.40Issue(8)：302-309,8.DOI:10.3969/j.issn.1000-3428.2014.08.057
基于责任策略的非严格实时系统形式化研究
Formal Study of Soft Real-time System Based on Obligation Policy
摘要
关键词
非严格实时系统/形式化规格说明/责任策略/分布式时态逻辑/Object-Z语言/历史不变式Key words
soft real-time system/formal specification/obligation policy/distributed temporal logic/Object-Z language/history invariant分类
信息技术与安全科学引用本文复制引用
马莉,钟勇,霍颖瑜..基于责任策略的非严格实时系统形式化研究[J].计算机工程,2014,40(8):302-309,8.基金项目
广东省自然科学基金资助项目(10152800001000016) （10152800001000016）
2011年佛山市科技发展专项基金资助项目(2011AA100061). （2011AA100061）
