Combining VDM with Executable Code.

Claus Ballegaard Nielsen Kenneth Lausdahl Peter Gorm Larsen

Published in: ABZ (2012)

Keyphrases

digital libraries
real time
data sets
databases
real world
social networks
image processing
case study
image segmentation
optimal solution
xml documents