Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model
Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model
复制标题
使用故障感知参与者模型验证 Synod 中的最终共识
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Varela, C.A.
中科院分区：
文献类型：
--
作者：
Paul, S.;Agha, G.A.;Patterson, S;Varela, C.A.
登录
查看更多内容
实时模型检查非常简单
DOI：
--
发表时间：
2005
期刊：
Conference on Correct Hardware Design and Verification Methods
影响因子：
--
作者：
L. Lamport
通讯作者：
L. Lamport
影响因子：
1
作者：
Bernadette Charron
通讯作者：
Bernadette Charron
分布式共识以实现城市环境中无人机的合并和间隔
DOI：
10.1109/icuas.2018.8453460
发表时间：
2018
期刊：
2018 International Conference on Unmanned Aircraft Systems (ICUAS)
影响因子：
--
作者：
Swee Balachandran;C. Muñoz;M. Consiglio
通讯作者：
M. Consiglio
评估将无人机系统 (UAS) 纳入国家空域系统的风险
DOI：
10.17226/25143
发表时间：
2018
期刊：
Sci. Comput. Program.
影响因子：
--
作者：
M. Bickford;R. Constable;Vincent Rahli
通讯作者：
Vincent Rahli
使用容错数据流处理确保飞机飞行安全
影响因子：
3.6
作者：
Shigeru Imai;Erik Blasch;A. Galli;Wennan Zhu;F. Lee;Carlos A. Varela
通讯作者：
Carlos A. Varela