Using VDM with Rely and Guarantee-Conditions - Experiences from a Real Project.

Jim Woodcock B. Dickinson

Published in: VDM Europe (1988)

Keyphrases

case study
real world
real life
sufficient conditions
machine learning
learning algorithm
artificial intelligence
computer vision
current status