Login / Signup
The MIRELA framework: modeling and analyzing mixed reality applications using timed automata.
Jean-Yves Didier
Bachir Djafri
Hanna Klaudel
Published in:
J. Virtual Real. Broadcast. (2009)
Keyphrases
</>
mixed reality
timed automata
augmented reality
machine learning
artificial intelligence
image processing
model checking
human visual system
theorem prover