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

  • Zobrazuji výsledky 1 - 1 z 1
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:

Vyhledávací nástroje: