Login / Signup
Formal modeling and verification of an enhanced variant of the IEEE 802.11 CSMA/CA protocol.
Youcef Hammal
Jalel Ben-Othman
Lynda Mokdad
Abdelli Abdelkrim
Published in:
J. Commun. Networks (2014)
Keyphrases
</>
formal analysis
colored petri nets
formal methods
multiple access
cellular automata
cryptographic protocols
protocol specification
model checker
formal model
mac protocol
petri net
link layer
lightweight
modeling language
application layer
temporal logic
ad hoc networks
formal proof