|
|||||
|
|
| An Investigation of Formal Techniques of Protocol Based on CFSM | |
| 作者姓名： | Li LayuanWuhan Jiaotong University 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 等数据库收录！ | |