Specification and Verification of Synchronizing Concurrent Objects.

Gabriel Ciobanu Dorel Lucanu

Published in: IFM (2004)

Keyphrases

formal verification
high level
d objects
asynchronous circuits
formal methods
neural network
data objects
model checking
moving objects
object recognition
object segmentation
multiple objects
bounding box
complex scenes
object level
signature verification
real world objects
individual objects
data sets