A formal description technique and an environment for protocol engineering.

Anthony Chung Deepinder P. Sidhu

Published in: CATA (1998)

Keyphrases

mobile robot
real time
neural network
computer science
engineering design
software engineering
dynamic environments
autonomous agents
formal specification
tcp ip
communication protocols