Formal development of universal protocol implementations conformance statement proforma.

Published in: AICCSA (2009)

Keyphrases

lightweight
knowledge based systems
metadata
case study
software engineering
development process
rapid development
formal analysis
real time
neural network
data mining
decision support
st century
cryptographic protocols
coloured petri nets