Formalization and validation of the Radio Link Protocol (RLP1)

  • Authors:

  • Michael J. Ferguson

  • Affiliations:

  • -

  • Venue:
  • Computer Networks and ISDN Systems
  • Year:
  • 1997

  • The Model Checker SPIN

    IEEE Transactions on Software Engineering - Special issue on formal methods in software practice

Quantified Score

Hi-index 0.00

Visualization

Abstract