Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling Theory and Application of Multi-Formalism Modeling
Capitolo di libro
Data di Pubblicazione:
2013
Citazione:
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]
Tipologia CRIS:
2.1 Contributo in volume (Capitolo o Saggio)
Elenco autori:
Marrone, Stefano; Mazzocca, Nicola; Nardone, Roberto; Vittorini, Valeria
Link alla scheda completa:
Titolo del libro:
Theory and Application of Multi-Formalism Modeling