An Interactive Tool for Design, Simulation, Verification, and Synthesis of Protocols.

Daniel Y. Chao David T. Wang

Published in: MASCOTS (1994)

Keyphrases

design principles
design process
computer aided
formal verification
real time
artificial intelligence
mobile robot
simulation software
web services
expert systems
user interface
knowledge based systems