Incremental Language Inclusion Checking for Networks of vTimed Automata

Willibald Krenn (Vortragende:r), Dejan Nickovic, Loredana Tec

    Publikation: Beitrag in Buch oder TagungsbandVortrag mit Beitrag in TagungsbandBegutachtung

    OriginalspracheEnglisch
    TitelFormal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013
    Herausgeber (Verlag)Springer
    Seiten152-167
    Seitenumfang16
    ISBN (Print)978-3-642-40228-9
    PublikationsstatusVeröffentlicht - 2013
    VeranstaltungFORMATS 2013 -
    Dauer: 29 Aug. 201331 Aug. 2013

    Konferenz

    KonferenzFORMATS 2013
    Zeitraum29/08/1331/08/13

    Research Field

    • Ehemaliges Research Field - Digital Safety and Security

    Diese Publikation zitieren