Treffer 1 - 9 von 9 für Suche 'Daws, Conrado', Suchdauer: 0,40s Treffer weiter einschränken
  1. 1
    Symbolic and Parametric Model Checking of Discrete-Time Markov Chains

    Symbolic and Parametric Model Checking of Discrete-Time Markov Chains von Daws, Conrado


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Symbolic Robustness Analysis of Timed Automata

    Symbolic Robustness Analysis of Timed Automata von Daws, Conrado, Kordy, Piotr


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Kronos: A model-checking tool for real-time systems

    Kronos: A model-checking tool for real-time systems von Bozga, Marius, Daws, Conrado, Maler, Oded, Olivero, Alfredo, Tripakis, Stavros, Yovine, Sergio


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Model checking of real-time reachability properties using abstractions

    Model checking of real-time reachability properties using abstractions von Daws, Conrado, Tripakis, Stavros


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Optikron: A tool suite for enhancing model-checking of real-time systems

    Optikron: A tool suite for enhancing model-checking of real-time systems von Daws, Conrado


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Kronos : A model-checking tool for real-time systems : (Tool-presentation for FTRTFT '98)

    Kronos : A model-checking tool for real-time systems : (Tool-presentation for FTRTFT '98) von BOZGA, M, DAWS, C, MALER, O, OLIVERO, A, TRIPAKIS, S, YOVINE, S


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM

    Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM von Daws, Conrado, Kwiatkowska, Marta, Norman, Gethin


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM

    Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM von Daws, Conrado, Kwiatkowska, Marta, Norman, Gethin


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Kronos: A model-checking tool for real-time systems: Tool-presentation for FTRTFT ’98

    Kronos: A model-checking tool for real-time systems: Tool-presentation for FTRTFT ’98 von Bozga, Marius, Daws, Conrado, Maler, Oded, Olivero, Alfredo, Tripakis, Stavros, Yovine, Sergio


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: