Enumeration Protocol in Estelle: an exercise in stepwise development.

Piotr Dembinski

Published in: FORTE (1998)

Keyphrases

software engineering
lightweight
web services
case study
development environment
real time
artificial intelligence
database systems
search space
decision support
end to end
development process
formal analysis
ip address