首页> 外文OA文献 >A Formally Verified Algorithm for Clock Synchronization Under a Hybrid Fault Model

【2h】

A Formally Verified Algorithm for Clock Synchronization Under a Hybrid Fault Model

机译：一种混合故障模型下时钟同步的形式化验证算法

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
John Rushby;
展开▼
作者单位

展开▼
年度 1994
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Formal Verification of a Hybrid Machine Learning-Based Fault Prediction Model in Internet of Things Applications [J] . Souri Alireza, Mohammed Amin Salih, Potrus Moayad Yousif, Quality Control, Transactions . 2020,第期

机译：基于混合机学习的故障预测模型的正式验证应用中的互联网应用
2. Verification of clock synchronization algorithms: experiments on a combination of deductive tools [J] . Damian Barsotti, Leonor Prensa Nieto, Alwen Tiu Formal Aspects of Computing . 2007,第3期

机译：验证时钟同步算法：结合演绎工具进行的实验
3. Formal Verification of Fault-Tolerant Startup Algorithms for Time-Triggered Architectures: A Survey [J] . Indranil Saha, Suman Roy, S. Ramesh Proceedings of the IEEE . 2016,第5期

机译：时间触发型体系结构的容错启动算法的形式验证：一项调查
4. A Formally Verified Algorithm for Clock Synchronization Under a Hybrid Fault Model [C] . John Rushby Proceedings of the Thirteenth annual ACM symposium on principles of distributed computing . 1994

机译：混合故障模型下时钟同步的形式验证算法
5. Modeling and verification of hybrid systems with clocked and unclocked events. [D] . Da Silva, Braz Izaias, Jr. 2002

机译：具有时钟事件和非时钟事件的混合系统的建模和验证。
6. A Formal Algorithm for Verifying the Validity of Clustering Results Based on Model Checking [O] . Shaobin Huang, Yuan Cheng, Dapeng Lang, -1

机译：一种基于模型检查的聚类结果有效性验证的形式化算法
7. Formal Verification of an Interactive Consistency Algorithm for the Draper FTP Architecture Under a Hybrid Fault Model [O] . Patrick Lincoln, John Rushby 1994

机译：混合故障模型下Draper FTp体系结构交互一致性算法的形式化验证
8. A Formally Verified Algorithm for Clock Synchronization Under a Hybrid Fault Model [R] . Rushby, John 1996

机译：一种混合故障模型下时钟同步的形式化验证算法

A Formally Verified Algorithm for Clock Synchronization Under a Hybrid Fault Model

著录项

引文网络

相似文献

相关主题

期刊订阅