Formal Performance Modelling: From Protocols to People.

Nigel Thomas Michael D. Harrison Yishi Zhao Xiao Chen

Published in: EPEW/UKPEW (2012)

Keyphrases

formal model
communication protocol
neural network
data mining
formal specification
formal analysis
application level
formal language
cryptographic protocols