From MTL to Deterministic Timed Automata

    Aktivität: Vortrag ohne Tagungsband / VorlesungPräsentation auf einer wissenschaftlichen Konferenz / Workshop

    Zeitraum24 Jan. 2014
    EreignistitelInstitut de Recherche en Informatique de Toulouse (IRIT)
    VeranstaltungstypSonstiges

    Research Field

    • Ehemaliges Research Field - Digital Safety and Security