Distributed Runtime Verification Under Partial Synchrony
Distributed Runtime Verification Under Partial Synchrony
复制标题
部分同步下的分布式运行时验证
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Borzoo Bonakdarpour
中科院分区：
文献类型：
--
作者：
Ritam Ganguly;Anik Momtaz;Borzoo Bonakdarpour
登录
查看更多内容
使用 SMT 求解器监控部分同步分布式系统
DOI：
10.1007/978-3-319-67531-2_17
发表时间：
2017
期刊：
ArXiv
影响因子：
--
作者：
Vidhya Tekken Valapil;Sorrachai Yingchareonthawornchai;S. Kulkarni;E. Torng;M. Demirbas
通讯作者：
M. Demirbas
去中心化流运行时验证
DOI：
10.1007/978-3-030-32079-9_11
发表时间：
2019
期刊：
2018 IEEE 37th Symposium on Reliable Distributed Systems (SRDS)
影响因子：
--
作者：
Luis Miguel Danielsson;César Sánchez
通讯作者：
César Sánchez
影响因子：
0.8
作者：
A. Bauer;Yliès Falcone
通讯作者：
A. Bauer;Yliès Falcone
DOI：
10.1007/978-3-540-75142-7_32
发表时间：
2007-09
期刊：
--
影响因子：
--
作者：
V. Ogale;V. Garg
通讯作者：
V. Ogale;V. Garg
DOI：
10.1145/3350755.3400235
发表时间：
2020
期刊：
Symposium on Parallel Algorithms and Architectures
影响因子：
--
作者：
Garg, Vijay K.
通讯作者：
Garg, Vijay K.