Login / Signup
Automated Verification of the Connection Management Aspects of the IEEE 802.2 Logical Link Control Protocol.
Thomas P. Blumer
Deepinder P. Sidhu
Published in:
IEEE Trans. Commun. (1987)
Keyphrases
</>
automated verification
automated reasoning
model checking
management system
control system
information systems
artificial intelligence
knowledge base
knowledge management
lightweight
wireless sensor networks
data management
mac protocol
medium access control