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. Read more »
