概率时间自动机(PTA) 相关硕士博士期刊学术论文 - 搜论网

概率时间自动机(PTA)相关论文

用PTA模型形式化分析基于Gossip协议的发布／订阅系统

在研究传统的发布／订阅消息中间件系统的基础之上，结合Gossip协议的特点来研究发布／订阅消息中间件，最后运用形式化方法，通过PRISM仿真......

期刊

发布订阅概率时间自动机(PTA) GOSSIP协议形式化分析 PRISM publish/subscribe probabilistic timed a

看过本文同时还关注