周巢尘相关硕士博士期刊学术论文 - 信丰网

周巢尘相关论文

伊犁师范大学数学与统计学院承办“第九届可信软件工程中的逻辑方法研讨会”

2019年8月10日至11日,由中国计算机协会形式化方法专委会主办,伊犁师范大学数学与统计学院承办的“第九届可信软件工程中的逻辑方......

期刊

软件工程形式化方法计算机协会中国科学院周巢尘逻辑方法师范大学可信

通信协议的设计

在[5],[6]中,我们陈述了一个用于分布式程序设计的语言原型,这个原型是基于Hoare所提出的通信顺序进程的;并且建议用通道谓词作为......

期刊

传输介质周巢尘传输线传输错误

看过本文同时还关注