Automated Verification of the Connection Management Aspects of the IEEE 802.2 Logical Link Control Protocol

1987 ◽  
Vol 35 (12) ◽  
pp. 1377-1379 ◽  
Author(s):  
T. Blumer ◽  
D. Sidhu
Keyword(s):  
Automated Verification ◽  
Connection Management ◽  
Control Protocol

scholarly journals Automated verification of an audio-control protocol using Uppaal

2002 ◽  
Vol 52-53 ◽  
pp. 163-181 ◽  
Author(s):  
Johan Bengtsson ◽  
W.O. David Griffioen ◽  
Kåre J. Kristoffersen ◽  
Kim G. Larsen ◽  
Fredrik Larsson ◽  
...  
Keyword(s):  
Automated Verification ◽  
Control Protocol

Media Access Control Protocol with Differential Service in Aeronautical Frequency-Hopping Ad Hoc Networks

2014 ◽  
Vol 24 (8) ◽  
pp. 2214-2225 ◽  
Author(s):  
Ye-Qun WANG ◽  
Feng YANG ◽  
Guo-Ce HUANG ◽  
Heng-Yang ZHANG ◽  
Jian-Xin GUO
Keyword(s):  
Access Control ◽  
Ad Hoc Networks ◽  
Ad Hoc ◽  
Frequency Hopping ◽  
Media Access Control ◽  
Media Access ◽  
Control Protocol ◽  
Hoc Networks ◽  
Media Access Control Protocol
Sign in / Sign up

Export Citation Format

Share Document