Formal modeling and analysis of complex software.

Faiza Belala Ramdane Maamri

Published in: J. King Saud Univ. Comput. Inf. Sci. (2020)

Keyphrases

formal analysis
artificial intelligence
statistical analysis
mathematical modeling
decision making
source code
colored petri nets
database
data mining
high level
software systems
modeling language
structural analysis