Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM.
Conrado DawsMarta Z. KwiatkowskaGethin NormanPublished in: Int. J. Softw. Tools Technol. Transf. (2004)
Keyphrases
- mac protocol
- media access control
- medium access control
- lightweight
- wireless local area networks
- physical layer
- communication protocol
- wireless local area network
- ad hoc networks
- intelligent agent technology
- network protocols
- network congestion
- mobility management
- link layer
- mac layer
- coloured petri nets
- tcp ip
- cryptographic protocols
- data dissemination
- wireless ad hoc networks
- security protocols
- formal analysis
- video streaming
- concurrency control
- cross layer
- application layer
- generation algorithm
- mobile nodes
- cellular networks
- web intelligence
- tree structure
- wireless networks