Formalization and validation of the Radio Link Protocol (RLP1)

• 28 February 1997
• journal article
• Published by Elsevier in Computer Networks and ISDN Systems
• Vol. 29  (3) , 357-372
• https://doi.org/10.1016/s0169-7552(96)00102-x

Abstract

Keywords

• PROTOCOL VALIDATION
• SPECIFICATION
• FORMAL METHODS
• SDL
• PROMELA/SPIN
• RADIO LINK PROTOCOL
• STANDARDIZATION