Login / Signup
What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?
Marco Winckler
Eric Barboni
Philippe A. Palanque
Christelle Farenc
Published in:
WWV (2005)
Keyphrases
</>
web applications
formal methods
application development
application developers
end users
web services
model checking
web browser
web application development
formal specification
case study
web crawlers
flow diagram