Treffer 1 - 4 von 4 für Suche 'Byg, Joakim', Suchdauer: 0,39s Treffer weiter einschränken
  1. 1
    An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata

    An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata von Byg, Joakim, Jørgensen, Kenneth Yrke, Srba, Jiří


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    TCTL-preserving translations from timed-arc Petri nets to networks of timed automata

    TCTL-preserving translations from timed-arc Petri nets to networks of timed automata von Byg, Joakim, Jacobsen, Morten, Jacobsen, Lasse, Jørgensen, Kenneth Yrke, Møller, Mikael Harkjær, Srba, Jiří

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets

    TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets von Byg, Joakim, Jørgensen, Kenneth Yrke, Srba, Jiří


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Tools for Model-Checking Timed Systems

    Tools for Model-Checking Timed Systems von David, Alexandre, Behrmann, Gerd, Bulychev, Peter, Byg, Joakim, Chatain, Thomas, Larsen, Kim G, Pettersson, Paul, Illum Rasmussen, Jacob, Srba, Jiří, Yi, Wang, Joergensen, Kenneth Y, Lime, Didier, Magnin, Morgan, Roux, Olivier H, Traonouez, Louis‐Marie

    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: