华东理工大学学报(自然科学版)2001,Vol.27Issue(5):463-467,492,6.
分布式实时系统的一种转化设计方法
A Transformational Approach to the Design of Distributed Real-time Systems
摘要
关键词
分布式实时系统/时段演算/SL规范语言/转化分类
信息技术与安全科学引用本文复制引用
屠梅红,虞慧群..分布式实时系统的一种转化设计方法[J].华东理工大学学报(自然科学版),2001,27(5):463-467,492,6.基金项目
教育部高等学校骨干教师资助计划 ()
国家自然科学基金资助项目(69703008,69903004) (69703008,69903004)
国防科技重点实验室基金资助项目(99JS94.10.1.DZ 4201) (99JS94.10.1.DZ 4201)