Bounded Determinization of Timed Automata with Silent Transitions

Dejan Nickovic (Vortragende:r), Florian Lorber, Amnon Rosenmann, Bernhard K. Aichernig

    Publikation: Beitrag in Buch oder TagungsbandVortrag mit Beitrag in TagungsbandBegutachtung

    OriginalspracheEnglisch
    TitelFormal Modeling and Analysis of Timed Systems, 13th International Conference
    Seiten288-304
    Seitenumfang17
    PublikationsstatusVeröffentlicht - 2015
    VeranstaltungFORMATS 2015 -
    Dauer: 2 Sept. 20154 Sept. 2015

    Konferenz

    KonferenzFORMATS 2015
    Zeitraum2/09/154/09/15

    Research Field

    • Ehemaliges Research Field - Digital Safety and Security

    Diese Publikation zitieren