Search Results - "Software/Program Verification— Model checking"

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Cover Image

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

    ISSN: 2375-5334
    Published: 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)…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Cover Image

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

    ISBN: 9781424419715, 1424419719
    ISSN: 1087-8270
    Published: IEEE 01.03.2008
    Published in 2008 IEEE Virtual Reality Conference (01.03.2008)
    “…We propose a compositional modeling framework for mixed reality (MR) software architectures in order to express, simulate and validate formally the time…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: