Wr2Fdr Tool Maintenance for Models Checking.

Taoufik Sakka Rouis Mohamed Tahar Bhiri Mourad Kmimech Faouzi Moussa

Published in: SoMeT (2017)

Keyphrases

probabilistic model
computational models
experimental data
user friendly
database
data sets
neural network
machine learning
artificial intelligence
information systems
decision making
learning environment
artificial neural networks
statistical models
software tools
software maintenance