Suchergebnisse - "D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Model checking"

  • Treffer 1 - 1 von 1
Treffer weiter einschränken
  1. 1
    Buchumschlag

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

    ISBN: 9781424419715, 1424419719
    ISSN: 1087-8270
    Veröffentlicht: IEEE 01.03.2008
    Veröffentlicht 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 …”
    Volltext
    Tagungsbericht
    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: