Erratum to 'Protocol validation by simultaneous reachability analysis' : [Computer Communications 20 (1997) 772-788].
Kadir ÖzdemirHasan UralPublished in: Comput. Commun. (1998)
Keyphrases
- reachability analysis
- markov decision processes
- model checking
- multiple access
- timed automata
- incremental algorithms
- lightweight
- communication systems
- group communication
- expert systems
- state space
- message delivery
- computer systems
- cryptographic protocols
- security protocols
- tcp ip
- communication protocol
- machine learning
- real time
- long run