• 已选条件：
  • × Computer Science and Information System
  • × fault tolerance
 全选  【符合条件的数据共：2条】

1 Formal Verification of Signature-monitoring Mechanisms by Model Checking [期刊论文]

来源：Computer Science and Information Systems , 2012

作者:Lanfang Tan

关键词:software fault-tolerance;model checking;...

使用许可:CC BY-NC-ND

预览  |  原文链接  |  全文  [ 浏览：4 下载：1  ]    

2 Formal Verification of Signature-monitoring Mechanisms by Model Checking [期刊论文]

来源：Computer Science and Information Systems , 2012

作者:Lanfang Tan

关键词:software fault-tolerance;model checking;...

使用许可:CC BY-NC-ND

预览  |  原文链接  |  全文  [ 浏览：8 下载：2  ]