What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?
Under a Creative Commons license
open access
Keywords
Model-based Web developpement
Model-based verification
Formal description techniques
Usability evaluation
Cited by (0)
Copyright © 2006 Elsevier B.V.