|
[1]朱炎;蔡国永;.基于ISDG的面向对象程序分片技术研究[J]计算机工程与应用.2007,(04)
|
|
[2]郭云川,古天龙,董荣胜,蔡国永.Kailar逻辑缺陷的进一步讨论[J]计算机工程与应用.2003,(17)
|
|
[3]曹双进,董荣胜,古天龙,蔡国永.基于Petri网的分布式实时调度模型研究[J]计算机工程与应用.2003,(30)
|
|
[4]赵新有;古天龙;蔡国永;董荣胜;.基于功能匹配分解的协议转换器构造技术研究[J]计算机科学.2003,(10)
|
|
[5]郭云川,古天龙,董荣胜,蔡国永.Netbill协议原子性的符号模型检验分析[J]计算机工程与应用.2004,(02)
|
|
[6]董荣胜,曹双进,蔡国永,赵岭忠.基于对象分布式实时系统的容错模型研究[J]计算机工程与应用.2004,(07)
|
|
[7]古天龙,郭云川,董荣胜,蔡国永.Digicash协议原子性的符号模型分析[J]计算机工程与应用.2004,(09)
|
|
[8]蔡国永,缪裕青.面向测试的主动对象开发方法[J]桂林电子工业学院学报.2004,(03)
|
|
[9]彭勋,董荣胜,郭云川,蔡国永.一个电子投递协议的改进[J]计算机工程与应用.2004,(29)
|
|
[10]郭云川;古天龙;董荣胜;蔡国永;.电子商务协议形式化分析的一种新方法[J]计算机科学.2004,(08)
|
|
更多
|