Checking Compliance of Program with SecureUML Model.

Thanh-Nhan Luong Van-Khanh To Ninh-Thuan Truong

Published in: ACIIDS (Extended Posters) (2017)

Keyphrases

neural network model
high level
experimental data
formal model
information retrieval
mathematical model
bayesian framework
website
objective function
probabilistic model
management system
computational model
process model
statistical model
prediction model