Login / Signup
Context independent unique state identification sequences for testing communication protocols modelled as extended finite state machines.
T. Ramalingom
Krishnaiyan Thulasiraman
Anindya Das
Published in:
Comput. Commun. (2003)
Keyphrases
</>
finite state machines
communication protocols
model checking
hidden markov models
finite state automata
communication protocol
regular expressions
social networks
relational databases
context aware