GE-LOTOS 相关硕士博士期刊学术论文 - 搜论网

GE-LOTOS相关论文

关于路由协议的一致性测试的一种形式方法

为了一致性测试 Internet网上的一个标准路由信息协议 ( RIP协议 ) ,利用形式描述技术语言 E-LOTOS对其进行了描述 ,然后把文本描......

期刊

RIP协议一致性测试 E-LOTOS GE-LOTOS TTCN

一种有效的形式描述技术:GE-LOTOS

利用面向对象程序设计语言 Java完善从文体 LOTOS到 GE-LOTOS的工具软件 ,使得以抽象层形式体现出来的 GE-LOTOS的某一子过程或所......

期刊

协议一致性测试 GE-LOTOS 形式描述技术路由协议测试

看过本文同时还关注