%0 Journal Article
%T 弱硬实时系统约束规范
%A 孙优贤
%A 宋叶琼
%A 陈积明
%J -
%D 2006
%X 从弱硬实时系统定义出发,概述现有弱硬实时约束规范及其相互关系,提出了一种约束规范(m,p),与已有的约束规范作了严格性强弱的比较,并给予了证明;同时修正了Bernat提出的一个约束强弱比较的定理
%K 约束规范 弱硬实时系统 (m
%K k)-firm 严格性
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=20061219&flag=1