Login / Signup
A Domain-Specific Language for the Specification of Path Algebras.
Vilius Naudziunas
Timothy G. Griffin
Published in:
ATE (2011)
Keyphrases
</>
high level
shortest path
information systems
spatial reasoning
specification language
conceptual model
optimal path
formal methods
real time
data sets
real world
case study
temporal reasoning
endpoints