Login / Signup

Modeling robust asynchronous communication protocols with finite-state machines.

Michael M. WuMichael C. Loui
Published in: IEEE Trans. Commun. (1993)
Keyphrases
  • finite state machines
  • communication protocols
  • communication protocol
  • finite state automata
  • model checking
  • communication networks
  • databases
  • mutation testing
  • hidden markov models