Login / Signup
Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models.
Carl A. Sunshine
David H. Thompson
Roddy W. Erickson
Susan L. Gerhart
Daniel Schwabe
Published in:
IEEE Trans. Software Eng. (1982)
Keyphrases
</>
state transition
communication protocols
hidden markov models
protocol specification
state transitions
probability distribution
input output
state transition model
communication networks
black box
finite state machines
databases
data mining
relational databases
asynchronous circuits