基于责任策略的非严格实时系统形式化研究

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

基于责任策略的非严格实时系统形式化研究

马莉,钟勇,霍颖瑜

Formal Study of Soft Realtime System Based on Obligation Policy

MA Li,ZHONG Yong,HUO Yin-yu

计算机工程 . 2014, (8): 302 -309 . DOI: 10.3969/j.issn.1000-3428.2014.08.057