A Correct by Construction Model for CBPS Systems Verification.

Sarah Hussein Toman Aida Lahouij Lazhar Hamel Zinah Hussein Toman Mohamed Graiet

Published in: ISCC (2023)

Keyphrases

probabilistic model
management system
statistical model
experimental data
genetic algorithm
high level
similarity measure
expert systems
data sets
computer vision
information systems
hidden markov models
software engineering
distributed systems
peer to peer
hierarchical structure