Model-Driven System Validation by Scenarios

Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra. Model-Driven System Validation by Scenarios. In Martin Radetzki, editor, Languages for Embedded Systems and their Applications - Selected Contributions on Specification, Design, and Verification from FDL'08, September 23-25, 2008, Stuttgart, Germany. Volume 36 of Lecture Notes in Electrical Engineering, pages 57-69, 2008. [doi]

Abstract

Abstract is missing.