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