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

Return to Article Details The MIRELA framework: modeling and analyzing mixed reality applications using timed automata Download Download PDF