Výsledky vyhledávání

Akademický článek

使用构造类别代数描述和验证密码协议

Autor: 刘政, 赵保华, 屈玉贵

Publikováno v: Tongxin xuebao, Vol , Pp 91-96 (2004)

Externí odkaz: https://doaj.org/article/036c4f9ed7e84f0eb92a3a1c0b19d50d

Akademický článek

通信顺序进程的扩充及其在协议形式化技术中的应用

Autor: 顾翔, 赵保华, 屈玉贵

Publikováno v: Tongxin xuebao, Vol , Pp 43-50 (2004)

Externí odkaz: https://doaj.org/article/5765f8df2901478288b0abeb23ff2039

Akademický článek

利用半可控接口进行通信协议一致性测试

Autor: 吴慧萍, 屈玉贵, 赵保华

Publikováno v: Tongxin xuebao, Vol , Pp 72-77 (2003)

Externí odkaz: https://doaj.org/article/b79f65dbf39c4ed5a12eac0f7cf7f9af

Akademický článek

基于层次结构的OSPF一致性测试

Autor: 杨晶, 赵保华, 屈玉贵

Publikováno v: Tongxin xuebao, Vol , Pp 87-92 (2002)

Externí odkaz: https://doaj.org/article/99a9461aa73f4b7c87466486cdc39d19

Akademický článek

一种通信协议测试序列生成的新方法

Autor: 孙宇霖, 屈玉贵, 赵保华

Publikováno v: Tongxin xuebao, Vol , Pp 122-127 (2001)

Externí odkaz: https://doaj.org/article/8943db01c06f443cad08de42b91b2e85

Akademický článek

利用逆向判定性缩短EFSM的测试序列的长度

Autor: 周晓煜, 屈玉贵, 赵保华

Publikováno v: Tongxin xuebao, Vol , Pp 48-55 (2000)

Externí odkaz: https://doaj.org/article/a95aa0d24cd148a3bd811c5c1dd86bb3

Vyhledávací nástroje: