Login / Signup

Formal Validation of OFEPSP+ with AVISPA.

Jorge L. Hernandez-ArdietaAna Isabel González-Tablas FerreresBenjamí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