Browsing by Subject "DDML"
Now showing items 1-1 of 1
-
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: ...