| An Investigation of Formal Techniques of Protocol Based on CFSM |
| |
| 引用本文： | Li LayuanWuhan Jiaotong University,430063,P. R. China). An Investigation of Formal Techniques of Protocol Based on CFSM[J]. 系统工程与电子技术(英文版), 1997, 0(2) |
| |
| 作者姓名： | Li LayuanWuhan Jiaotong University 430063 P. R. China) |
| |
| 作者单位： | Li LayuanWuhan Jiaotong University，430063，P. R. China |
| |
| 摘 要： | ＡｎＩｎｖｅｓｔｉｇａｔｉｏｎｏｆＦｏｒｍａｌＴｅｃｈｎｉｑｕｅｓｏｆＰｏｔｏｃｏｌＢａｓｅｄｏｎＣＦＳＭTXＡｎＩｎｖｅｓｔｉｇａｔｉｏｎｏｆＦｏｒｍａｌＴｅｃｈｎｉｑｕｅｓｏｆＰｒｏｔｏｃｏｌＢａｓｅｄｏｎＣＦＳＭＬｉＬａｙｕａｎＷｕｈａｎＪｉａｏ...
|
An Investigation of Formal Techniques of Protocol Based on CFSM |
| |
| Abstract: | |
| |
| Keywords: | :CFSM Communication protocol Formal techniques. |
| 本文献已被 CNKI 等数据库收录！ |
