Model-based verification and log-based failure analysis

Inserire una descrizione qui…

People

Marcello Cinque

Associate Professor

Raffaele Della Corte

Assistant Professor