From MTL to Deterministic Timed Automata

    Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

    Period24 Jan 2014
    Event titleInstitut de Recherche en Informatique de Toulouse (IRIT)
    Event typeOther

    Research Field

    • Former Research Field - Digital Safety and Security