The MIRELA framework: modeling and analyzing mixed reality applications using timed automata

Jean-Yves Didier, Bachir Djafri, Hanna Klaudel. The MIRELA framework: modeling and analyzing mixed reality applications using timed automata. JVRB, 6, 2009. [doi]

Abstract

Abstract is missing.