Formal specification, simulation, and performance evaluation of a mobile data link protocol using Estelle
Communication protocols consists of a set of distributed algorithms which allow two or more communicating entities to exchange information. Typically, these protocols represent one of the seven layers in the Open Systems Interconnection (OSI) Reference Model. Traditionally, protocols approved by...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
2009
|
| Online Access: | http://hdl.handle.net/2429/4925 |