| 基于转换系统的广义反应系统形式模型 |
| 张广泉
|
| 2000
|
| 发表期刊 | 计算机科学
 |
| 期号 | 1页码:28-30 |
| 摘要 | 1.引言反应系统(Reactive Systems)是与其环境保持不断交互作用的复杂软件系统。而不是在计算终止时产生一些最终结果。并发和实时程序、嵌入式系统、操作系统、通信网络及飞行控制系统等都是这类系统的典型例子,如何保证反应系统的正确性和可靠性是具有挑战性的重要课题,我们认为通过建立系统的形式化模型,对其计算行为进行描述和分析,可以深入认识系统的本质特性。有助于解决上述问题。 |
| 收录类别 | cnki
|
| 关键词 | Reactive Systems, Formal Models, Fts, Tts, Pts
|
| 部门归属 | 重庆师范学院计算机科学系 重庆 400047 中国科学院软件所 北京 100080
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/13658
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
张广泉. 基于转换系统的广义反应系统形式模型[J]. 计算机科学,2000(1):28-30.
|
| APA |
张广泉.(2000).基于转换系统的广义反应系统形式模型.计算机科学(1),28-30.
|
| MLA |
张广泉."基于转换系统的广义反应系统形式模型".计算机科学 .1(2000):28-30.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论