Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn, AMARETTO@MODELSWARD 2016, Rome, Italy, February 19-21, 2016

Antonello Calabrò, Francesca Lonetti, Eda Marchetti, editors, Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn, AMARETTO@MODELSWARD 2016, Rome, Italy, February 19-21, 2016. SciTePress, 2016.

Conference: modelsward2016

Abstract

Abstract is missing.

Table of Contents