Specification and Refinement of a Message Router.

H. Conrad Cunningham Yinxiu Cai

Published in: IWSSD (1993)

Keyphrases

email
end to end
formal specification
specification language
high level
data sets
neural network
social networks
asynchronous circuits
real time
genetic algorithm
artificial intelligence
user defined
refinement process
message delivery