An Event-B-Based Approach to Model and Verify Behaviors for Component-Based Applications.

Amel Mammar Lazhar Hamel Mohamed Graiet

Published in: Comput. J. (2022)

Keyphrases

statistical model
computational model
experimental data
probabilistic model
verification method
video sequences
expert systems
theoretical analysis
process model
conceptual model
sensitivity analysis