Reviewing the Service Specification of the IEEE 802.16 MAC Layer Connection Management: A Formal Approach
In most of the communication protocol specification documents, there is little, if any, use of more formal techniques for specifying the protocols, such as state and service primitive tables. Thus, these documents are sometimes ambiguous, difficult to understand, and imprecise. The IEEE 802.1...
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
Centro Latinoamericano de Estudios en Informática
2013-08-01
|
Series: | CLEI Electronic Journal |
Online Access: | http://www.clei.org/cleiej-beta/index.php/cleiej/article/view/119 |