Login / Signup
Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (FireWire): An Experiment with E-LOTOS.
Mihaela Sighireanu
Radu Mateescu
Published in:
Int. J. Softw. Tools Technol. Transf. (1998)
Keyphrases
</>
link layer
wireless networks
physical layer
mac layer
network layer
cross layer
mac protocol
wireless communication
model checking
network simulator
high speed
base station
ad hoc networks
multi layer
routing protocol
bit errors
mobile nodes
quality of service
smart grid
mobile networks