Evaluation of Redundancy Based System: A Model Checking Approach
文献类型：期刊论文
| 作者 | Fang L(方菱)
|
| 刊名 | SCIENCE CHINA Information Sciences
 |
| 出版日期 | 2017-09 |
| 期号 | 0页码:1-4 |
| DOI | 10.1007/s11432-016-9220-5 |
| 学科主题 | 计算机科学技术 |
| 源URL | [http://ir.hfcas.ac.cn:8080/handle/334002/30928]  |
| 专题 | 合肥物质科学研究院_合肥创新院 |
| 作者单位 | Institutes of Physical Science, Chinese Academy of Scuences, China |
| 推荐引用方式 GB/T 7714 | Fang L. Evaluation of Redundancy Based System: A Model Checking Approach[J]. SCIENCE CHINA Information Sciences,2017(0):1-4. |
| APA | Fang L.(2017).Evaluation of Redundancy Based System: A Model Checking Approach.SCIENCE CHINA Information Sciences(0),1-4. |
| MLA | Fang L."Evaluation of Redundancy Based System: A Model Checking Approach".SCIENCE CHINA Information Sciences .0(2017):1-4. |
入库方式： OAI收割
来源：合肥物质科学研究院
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。