Institutional Repository
| 基于转换系统的广义反应系统形式模型 | |
| 张广泉 | |
| 2000 | |
| Source | 计算机科学
 |
| Issue | 1Pages:28-30 |
| English Abstract | 1.引言反应系统(Reactive Systems)是与其环境保持不断交互作用的复杂软件系统。而不是在计算终止时产生一些最终结果。并发和实时程序、嵌入式系统、操作系统、通信网络及飞行控制系统等都是这类系统的典型例子,如何保证反应系统的正确性和可靠性是具有挑战性的重要课题,我们认为通过建立系统的形式化模型,对其计算行为进行描述和分析,可以深入认识系统的本质特性。有助于解决上述问题。 |
| Indexed Type | cnki |
| Keyword | Reactive Systems, Formal Models, Fts, Tts, Pts |
| Department | 重庆师范学院计算机科学系 重庆 400047 中国科学院软件所 北京 100080 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/13658 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | 张广泉. 基于转换系统的广义反应系统形式模型[J]. 计算机科学,2000(1):28-30. |
| APA | 张广泉.(2000).基于转换系统的广义反应系统形式模型.计算机科学(1),28-30. |
| MLA | 张广泉."基于转换系统的广义反应系统形式模型".计算机科学 .1(2000):28-30. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment