|
|||||
|
|
Using simulation to test formally verified protocols in complex environments |
|
| Authors: | Qiang Ye Mike H MacGregor |
| Institution: | 1. Department of Computer Science and IT, University of Prince Edward Island, Charlottetown, PE, Canada C1A 4P3;2. Department of Computing Science, University of Alberta, Edmonton, Alberta, Canada T6G 2E8 |
| Abstract: | |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ | |