학술논문
Using formal verification methods and tools for protocol profiling and performance assessment in mobile and wireless environments.
Document Type
Article
Author
Source
2010 IEEE 21st International Symposium on Personal, Indoor & Mobile Radio Communications (PIMRC); 2010, p2471-2476, 6p
Subject
Language