A Formal Description Specification for Multi-resolution Modeling (MRM) Based on DEVS Formalism.

Baohong Liu Kedi Huang

Published in: AIS (2004)

Keyphrases

multiresolution
formal specification
high level
modeling method
formal verification
hierarchical representation
data sets
nearest neighbor
coarse to fine
sequence diagrams
action language
transition systems