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

Jean-Yves Didier Bachir Djafri Hanna Klaudel

Published in: VR (2008)

Keyphrases

mixed reality
timed automata
augmented reality
distance learning
digital museum
computer generated imagery
virtual world
model checking
intelligent environments
natural language
reachability analysis
expert systems
theorem prover
theorem proving
real environment