依赖-卫式推理相关硕士博士期刊学术论文 - 搜论网

依赖-卫式推理相关论文

一种基于Concurrent Apla语言的共享内存并发分布式算法2层验证方法

形式化验证共享内存并发分布式算法已成为当前极具挑战性的问题之一,尤其是在云计算、多核、无线传感器网络、分布式数据库、区块......

期刊

并发分布式计算依赖-卫式推理 CONCURRENT APLA 形式化验证 concurrent distributed computingrely guara

看过本文同时还关注