张俊彩
【姓名】 张俊彩
【职称】
【研究领域】 互联网技术;
【研究方向】
【发表文献关键词】 时序逻辑,CSCW,XYZ/E,正确性证明,交互行为,后续条件,XYZ系统,XYZ／E,Lable,并发程序,CSCW系统,程序验证,分情形语句,推理规则,Hoare逻辑,谓词,节点,环体,协作代理,...
【工作单位】 中国矿业大学
【曾工作单位】 中国矿业大学;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 1 0 1 2 69
中国期刊全文数据库    共找到1篇
[1]张俊彩,余镇危,潘耘.CSCW时序逻辑模型交互行为的正确性研究[J]计算机工程与应用.2003,(05)
更多