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]
@inproceedings{CarioniGRS08-0, title = {Model-Driven System Validation by Scenarios}, author = {Alessandro Carioni and Angelo Gargantini and Elvinia Riccobene and Patrizia Scandurra}, year = {2008}, doi = {10.1007/978-1-4020-9714-0_4}, url = {https://doi.org/10.1007/978-1-4020-9714-0_4}, researchr = {https://researchr.org/publication/CarioniGRS08-0}, cites = {0}, citedby = {0}, pages = {57-69}, booktitle = {Languages for Embedded Systems and their Applications - Selected Contributions on Specification, Design, and Verification from FDL'08, September 23-25, 2008, Stuttgart, Germany}, editor = {Martin Radetzki}, volume = {36}, series = {Lecture Notes in Electrical Engineering}, }