A State-Transition-Based Incremental Protocol Specification.
Chung-Ming HuangYe-In ChangDuen-Tay HuangPublished in: ACM Conference on Computer Science (1994)
Keyphrases
- state transition
- protocol specification
- state space
- state transitions
- input output
- state transition model
- black box
- hidden markov models
- communication protocols
- finite state machines
- probability distribution
- formal specification
- markov chain
- formal methods
- data driven
- transition model
- database management systems
- particle filter
- distributed systems