Modular Description and Verification of Concurrent Objects.

Jean Paul Bahsoun Stephan Merz Corinne Servieres

Published in: OBPDC (1995)

Keyphrases

object description
data sets
face verification
data objects
high level
case study
information systems
digital libraries
d objects
model checking
artificial intelligence
spatial relations
bounding box
object models
databases
formal methods
individual objects
database