Type-Based Static and Dynamic Website Verification.

Jorge Coelho Mário Florido

Published in: ICIW (2007)

Keyphrases

website
formal verification
neural network
model checking
computer vision
web pages
image processing
asynchronous circuits
internet users
search algorithm
three dimensional
image segmentation
real time
decision making
information retrieval
databases
data sets