Search
Now showing items 89-89 of 4845
Formal Analysis of DDML
(2011-12-15)
We propose a framework for formal analysis of DEVS Driven Modeling Language (DDML) models in order to assess and evaluate the properties of DDML models. This framework semantically maps the hierarchical levels of DDML: ...