Výsledky vyhledávání - D.2.4 [Software/Program Verification]: Model checking

  • Zobrazuji výsledky 1 - 2 z 2
Upřesnit hledání
  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
    Vydáno: 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ískat plný text
    Konferenční příspěvek
    Přidat do oblíbených
    Uloženo 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
    Vydáno: IEEE 01.03.2008
    Vydáno 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ískat plný text
    Konferenční příspěvek
    Přidat do oblíbených
    Uloženo v:

Vyhledávací nástroje: