Login / Signup
Formal Framework for Automated Analysis and Verification of Web-Based Applications.
May Haydar
Published in:
ASE (2004)
Keyphrases
</>
automated analysis
automated detection
data mining
formal model
computer graphics
databases
real world
three dimensional
feature space
computational intelligence
model checking
formal methods