Sign in

Modelling and Verification of Web Navigation.

Zuohua DingMingyue JiangGeguang PuJeff 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