Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling Theory and Application of Multi-Formalism Modeling
Chapter
Publication Date:
2013
Short description:
Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling Theory and Application of Multi-Formalism Modeling / Marrone, Stefano; Mazzocca, Nicola; Nardone, Roberto; Vittorini, Valeria. - (2013), pp. 17-33. [10.4018/978-1-4666-4659-9.ch002]
Iris type:
2.1 Contributo in volume (Capitolo o Saggio)
List of contributors:
Marrone, Stefano; Mazzocca, Nicola; Nardone, Roberto; Vittorini, Valeria
Book title:
Theory and Application of Multi-Formalism Modeling