A Verification Tool Seveloper's Vade Mecum.

Perdita Stevens

Published in: Int. J. Softw. Tools Technol. Transf. (1998)

Keyphrases

model checking
software tools
real time
social networks
image processing
website
multiscale
artificial neural networks
control system
user friendly
formal verification
fingerprint verification