Model-driven V&V processes for computer based control systems: A unifying perspective
Capitolo di libro
Data di Pubblicazione:
2012
Citazione:
Model-driven V&V processes for computer based control systems: A unifying perspective / Flammini, F., Marrone, S., Mazzocca, N., Nardone, R., Vittorini, V.. - 7610:(2012), pp. 190-204. [10.1007/978-3-642-34032-1_20]
Tipologia CRIS:
2.1 Contributo in volume (Capitolo o Saggio)
Elenco autori:
Flammini, Francesco; Marrone, Stefano; Mazzocca, Nicola; Nardone, Roberto; Vittorini, Valeria
Link alla scheda completa:
Titolo del libro:
Lecture Notes in Computer ScienceLeveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies