Verification by Construction in MILORD.

Jaume Agustí-Cullell Enric Plaza Carles Sierra

Published in: EUROVAV (1991)

Keyphrases

model checking
special case
web services
face verification
signature verification
formal verification
databases
machine learning
artificial intelligence
feature selection
image processing
case study
learning environment
expert systems
user interface