Modelling and Verification of Web Navigation.

Zuohua Ding Mingyue Jiang Geguang Pu Jeff W. Sanders

Published in: ICWE (2009)

Keyphrases

web navigation
website
model checking
formal verification
data extraction
face verification
artificial intelligence
face recognition
web documents
data warehousing
temporal logic
signature verification