华中科技大学学报（自然科学版）2004，Vol.32Issue(4)：47-49,3.
实时调度问题的形式化描述及分析
The formal specification of real-time systems and its analysis
摘要
关键词
形式化方法/实时调度/优先级上限协议/自动机分类
信息技术与安全科学引用本文复制引用
涂刚,阳富民,卢炎生..实时调度问题的形式化描述及分析[J].华中科技大学学报（自然科学版）,2004,32(4):47-49,3.基金项目
国家高技术研究发展计划资助项目(2002AA445010). （2002AA445010）
