On checking the consistency of Object-Z classes.

Fathi Taibi Jacob K. Daniel Fouad Mohammed Abbou

Published in: ACM SIGSOFT Softw. Eng. Notes (2007)

Keyphrases

consistency checking
object classes
object identification
object instances
case study
multiple objects
data sets
real time
object model
object identity
deformable objects
complex scenes
data objects
lighting conditions
object tracking
d objects
image sequences
computer vision
databases