Characterizing Certain Topological Specifications.

Bernhard Heinemann

Published in: CSR (2012)

Keyphrases

topological spaces
formal specification
databases
topological properties
specification language
database
high level
written in natural language
morse theory
topology preservation
operational semantics
topological map
conceptual models
spatial relations
mobile robot
multiscale
case study
machine learning
data sets