Formal Verification of SCA Assembly Model with Event-B.

Aida Lahouij Lazhar Hamel Mohamed Graiet

Published in: SKG (2013)

Keyphrases

formal verification
mathematical model
computational model
statistical model
formal model
high level
prior knowledge
probabilistic model
management system
probability distribution
fuzzy sets
experimental data
event detection