Elvira Albert, Pablo C. Cañizares, Esther Guerra, Juan de Lara, Esperanza Marcos, Manuel Núñez 0001, Guillermo Román-Díez, Juan Manuel Vara, Damiano Zanardini. SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools. In Martina Seidl, Steffen Zschaler, editors, Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers. Volume 10748 of Lecture Notes in Computer Science, pages 367-374, Springer, 2017. [doi]
Abstract is missing.