A knowledge-based specification technique for protocol development.

Yaoxue Zhang Meilin Shi Norio Shiratori

Published in: J. Comput. Sci. Technol. (1993)

Keyphrases

neural network
lightweight
data sets
high level
software engineering
colored petri nets
database
case study
multi agent
knowledge management
decision support
knowledge intensive
coloured petri nets