Login / Signup
Formal Validation of OFEPSP+ with AVISPA.
Jorge L. Hernandez-Ardieta
Ana Isabel González-Tablas Ferreres
Benjamín Ramos
Published in:
ARSPA-WITS (2009)
Keyphrases
</>
neural network
formal methods
formal language
computational intelligence
formal model
formal specification
formal models
learning algorithm
bayesian networks
cooperative
hidden markov models