MIRELA: A Language for Modeling and Analyzing Mixed Reality Applications Using Timed Automata.

Jean-Yves Didier, Bachir Djafri, Hanna Klaudel

Browse the full VR paper archive.