Formal Support for Standardizing Protocols with State.

Joshua D. Guttman Moses D. Liskov John D. Ramsdell Paul D. Rowe

Published in: SSR (2015)

Keyphrases

state space
software engineering
real time
learning algorithm
natural language
digital libraries
ontological engineering