Institutional Repository
| 时间符号迁移图上的可达性分析 | |
| Alternative Title | reachability analysis on real-time value-passing systems |
| 陈靖 | |
| 2003 | |
| Source | 计算机学报
 |
| ISSN | 0254-4164 |
| Volume | 26Issue:1Pages:19-25 |
| English Abstract | 提出了以时间符号迁移图为建模语言、基于可达性分析的模型检测算法,并给出了算法的正确性证明.该算法可被用于硬件设计和通信协议验证等领域. |
| Indexed Type | wanfang ; ei |
| Keyword | 模型检测 协议 可达性分析 实时 时间符号迁移图 时间符号迁移图 检测算法 正确性证明 硬件设计 协议验证 建模语言 可达性 通信 模型algorithms Computer Simulation Mathematical Models Network Protocols Theorem Proving |
| Department | 中国科学院软件研究所计算机科学重点实验室,北京,100080 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/13076 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | 陈靖. 时间符号迁移图上的可达性分析[J]. 计算机学报,2003,26(1):19-25. |
| APA | 陈靖.(2003).时间符号迁移图上的可达性分析.计算机学报,26(1),19-25. |
| MLA | 陈靖."时间符号迁移图上的可达性分析".计算机学报 26.1(2003):19-25. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 时间符号迁移图上的可达性分析.pdf（315KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment