Abstract | ||
---|---|---|
In this paper we present the SICOMORo-CM project. Its main aim is to advance the state of the art in the development of reliable and trustworthy systems by combining formal and model-based approaches. The project started on October 1st, 2014 and will last four years. The project consortium is integrated by five research groups based in Madrid (Spain) and it has been funded by the Regional Government of Madrid and the European Social Fund of the European Commission with a total of 635.088,65(sic). |
Year | DOI | Venue |
---|---|---|
2017 | 10.1007/978-3-319-74730-9_32 | Lecture Notes in Computer Science |
DocType | Volume | ISSN |
Conference | 10748 | 0302-9743 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
9 |
Name | Order | Citations | PageRank |
---|---|---|---|
Elvira Albert | 1 | 1100 | 68.19 |
Pablo C. Cañizares | 2 | 9 | 2.88 |
Esther Guerra | 3 | 504 | 45.53 |
Juan de Lara | 4 | 1596 | 132.28 |
Esperanza Marcos | 5 | 604 | 81.55 |
Manuel Núñez | 6 | 999 | 79.03 |
Guillermo Román-Díez | 7 | 93 | 8.92 |
Juan Manuel Vara | 8 | 114 | 11.30 |
Damiano Zanardini | 9 | 324 | 16.83 |