CECRIS – CErtification of CRItical Systems

CECRIS – CErtification of CRItical Systems

Description

The CECRIS project aims at taking a step forward in development, verification and validation and certification of critical systems by supporting the introduction of novel state-of-the art methods with a special emphasis on technology and human skill development at SMEs

Researchers

Funded by

FP7-PEOPLE-2012-IAPP

Partners

Resiltech S.R.L. (Italy), Consorzio Interuniversitario Nazionale per l'Informatica (Italy), University of Coimbra (Portugal), Budapesti Muszaki es Gazdasagtudomanyi Egyetem (Hungary), Prolan (Hungary), Critical Software SA (Portugal)

Keywords

Verification & Validation, Certification

Start Date

2013-01-01

End Date

2016-12-31

Journal Articles

Conference Articles

2017

(1 publication)

2016

(1 publication)

2015

(2 publications)

2014

(4 publications)

2013

(2 publications)

Book Chapters