Here is some more HTML Mattarei Cristian

PhD Student at Embedded System Unit of Fondazione Bruno Kessler

    Contact Details:


    Cristian Mattarei


    Fondazione Bruno Kessler
    Via Sommarive 18, Povo, 38123 Trento - ITALY




    Topics:


    • Formal Methods
    • Model Checking
    • Modeling
    • Safety Assessment