Guest researchers in the CECRIS project

Our research group welcomes the three guest researchers who will work with us between May 6th and June 28th on the CECRIS project. We have two researchers from the Italian Resiltech s.r.l. and one from Critical Software with headquarter in Portugal. Read more »

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

Syndicate content