Evaluation of redundancy based system： a model checking approach
文献类型：期刊论文
| 作者 | Fang Ling3 ; Mu Chunyan4; Cheng Zhuo1; Li Guoqiang2
|
| 刊名 | 中国科学：信息科学（英文版）
 |
| 出版日期 | 2018 |
| 卷号 | 061 |
| 关键词 | Evaluation of redundancy a model checking approach |
| ISSN号 | 1674-733X |
| 其他题名 | Evaluation of redundancy-based system: a model checking approach |
| 英文摘要 | Functional redundancy isfault tolerance scheme fora key and well-knownwhich there are func-tionally equivalent versions that can rescue a sys-tem from execution failure and improve its relia-bility with standby. It is fundamental in the es-tablishment of effective and formal evaluations ofsystem reliability 1-3. |
| 语种 | 中文 |
| CSCD记录号 | CSCD:6273761 |
| 源URL | [http://ir.hfcas.ac.cn:8080/handle/334002/102779]  |
| 专题 | 中国科学院合肥物质科学研究院 |
| 作者单位 | 1.State International S&T Cooperation Base of Networked Supporting Software, Jiangxi Normal University 2.School of Software, Shanghai Jiao Tong University 3.Institute of Technology Innovation, Hefei Institutes of Physical Science, Chinese Academy of Sciences 4.School of Computing, Teesside University |
| 推荐引用方式 GB/T 7714 | Fang Ling,Mu Chunyan,Cheng Zhuo,等. Evaluation of redundancy based system： a model checking approach[J]. 中国科学：信息科学（英文版）,2018,061. |
| APA | Fang Ling,Mu Chunyan,Cheng Zhuo,&Li Guoqiang.(2018).Evaluation of redundancy based system： a model checking approach.中国科学：信息科学（英文版）,061. |
| MLA | Fang Ling,et al."Evaluation of redundancy based system： a model checking approach".中国科学：信息科学（英文版） 061(2018). |
入库方式： OAI收割
来源：合肥物质科学研究院
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。