Výsledky vyhľadávania - D.2.4 [Software/Program Verification]: Model checking

  • Zobrazené výsledky 1 - 2 z 2
Upresniť hľadanie
  1. 1
    Obálka

    Estimating latency and concurrency of asynchronous real-time interactive systems using model checking Autor Rehfeld, Stephan, Latoschik, Marc Erich, Tramberend, Henrik

    ISSN: 2375-5334
    Vydavateľské údaje: IEEE 01.03.2016
    “…This article introduces model checking as an alternative method to estimate the latency and parallelism of asynchronous Realtime Interactive Systems (RISs…”
    Získať plný text
    Konferenčný príspevok..
    Pridať do obľúbených
    Uložené v:
  2. 2
    Obálka

    MIRELA: A Language for Modeling and Analyzing Mixed Reality Applications Using Timed Automata Autor Didier, Jean-Yves, Djafri, Bachir, Klaudel, Hanna

    ISBN: 9781424419715, 1424419719
    ISSN: 1087-8270
    Vydavateľské údaje: IEEE 01.03.2008
    Vydané v 2008 IEEE Virtual Reality Conference (01.03.2008)
    “…: mixed reality language) along with the corresponding compilation tools. The generated output contains timed automata in UPPAAL format for simulation and verification…”
    Získať plný text
    Konferenčný príspevok..
    Pridať do obľúbených
    Uložené v:

Vyhľadávacie nástroje: