Translating VDM to Alloy.

Kenneth Lausdahl

Published in: IFM (2013)

Keyphrases

mechanical properties
wide range
knowledge representation
room temperature
real time
computer vision
image sequences
multiscale
pattern recognition