Modular verification of strongly invasive aspects: summary.

Emilia Katz Shmuel Katz

Published in: FOAL (2009)

Keyphrases

model checking
real time
databases
three dimensional
multiscale
modular neural networks
web pages
web services
evolutionary algorithm
face verification
formal analysis
formal verification