Institutional Repository
| 一种改进的数据求精证明规则 | |
| Alternative Title | improved data refinement proof rules |
| 张宏; 贺也平; 石志国 | |
| 2008 | |
| Source | 计算机工程
 |
| ISSN | 1000-3428 |
| Volume | 34Issue:1Pages:23-25 |
| English Abstract | 提出一种改进的数据求精规则，并用关系模式进行描述。引入全局状态来描述程序所有可能的输入和输出，允许非平凡的初始化，允许前向模拟和后向模拟，能应用于消除具体模型的不确定性晚于消除抽象模型的不确定性的情况。并用实例说明了在Isabelle定理证明器中规则的应用方法。 |
| Indexed Type | wanfang,cscd,cnki |
| Keyword | 多级安全系统 数据求精 前向模拟 后向模拟 Multilevel Secure System Data Refinement Forward Simulation Backward Simulation |
| Department | 基础软件国家工程研究中心 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/3748 |
| Collection | 基础软件国家工程研究中心 |
| Recommended Citation GB/T 7714 | 张宏,贺也平,石志国. 一种改进的数据求精证明规则[J]. 计算机工程,2008,34(1):23-25. |
| APA | 张宏,贺也平,&石志国.(2008).一种改进的数据求精证明规则.计算机工程,34(1),23-25. |
| MLA | 张宏,et al."一种改进的数据求精证明规则".计算机工程 34.1(2008):23-25. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 18.pdf（313KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment