Automatic Verification of Concurrent Object Properties.

Rami El-Baïda Jean Paul Bahsoun

Published in: AICCSA (2001)

Keyphrases

moving objects
object model
case study
multiscale
complex objects
data sets
partial occlusion
structural properties
target object
object level
real objects