CECRIS project kick-off meeting

Our research group is participating in the CECRIS project that has started with the kick-off meeting held at Firenze between 14-15 January. The aim of the project is to develop novel methods and techniques for the verification, validation and certification of critical systems with the cooperation of hungarian, italian and portuguese academic and industrial partners.

During the four years of the project, multiple members of our research group will travel to foreign industrial partners for short or extended durations for knowledge transfer and cooperation, while the research group will host guest researchers from the italian Resiltech and portuguese Critical Software industrial partners.