From Real-time Logic to Timed Automata

    Publikation: Beitrag in FachzeitschriftArtikel

    OriginalspracheEnglisch
    Seiten (von - bis)48-72
    Seitenumfang25
    FachzeitschriftDagstuhl reports
    Volume2
    Issue9
    DOIs
    PublikationsstatusVeröffentlicht - 2019

    Research Field

    • Dependable Systems Engineering

    Diese Publikation zitieren