Regresar

SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools

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€.

Año de publicación:

2018

Keywords:

    Fuente:

    scopusscopus

    Tipo de documento:

    Conference Object

    Estado:

    Acceso restringido

    Áreas de conocimiento:

    • Ingeniería de software
    • Ciencias de la computación

    Áreas temáticas:

    • Ciencias de la computación
    • Lingüística
    • Ingeniería y operaciones afines

    Contribuidores:

    Guerra E.Guerra E.
    Marcos E.Marcos E.
    Zanardini D.Zanardini D.
    Vara J.M.Vara J.M.
    Juan De LaraJuan De Lara
    Núñez M.Núñez M.
    Román-Díez G.Román-Díez G.
    Canizares P.C.Canizares P.C.
    Albert E.Albert E.