A Rewriting-based Framework for Web Sites Verification.

María Alpuente Demis Ballis Moreno Falaschi

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

website
real time
main contribution
theoretical framework
integrity constraints
data sets
neural network
machine learning
bayesian networks
probabilistic model
lightweight
model checking
conceptual framework