A Formal Validation Model for the Netconf Protocol.

Sylvain Hallé Rudy Deca Omar Cherkaoui Roger Villemaire Daniel Puche

Published in: DSOM (2004)

Keyphrases

computational model
network model
formal model
cost function
similarity measure
neural network model
statistical model
theoretical framework
theoretical analysis
objective function
high level
probability distribution
probabilistic model
data model
mathematical model
prior knowledge
artificial neural networks