A system for compositional verification of asynchronous objects.

Wolfgang Ahrendt Maximilian Dylla

Published in: Sci. Comput. Program. (2012)

Keyphrases

d objects
spatial relationships
asynchronous circuits
data structure
moving objects
geometric constraints
delay insensitive
data sets
clustering algorithm
digital libraries
image retrieval
data objects
object segmentation
multiple objects
verification method