Titre:
  • Modelling and analysing mixed reality applications: keynote paper, proceedings of the 4th International Conference on Man-Machine Interactions {ICMMI}
Auteur:Arcile, Johan; Czachorski, Tadeusz; Devillers, Raymond; Didier, Jean-Yves; Klaudel, Hanna; Rataj, Artur
Informations sur la publication:Advances in intelligent systems and computing, 391, page (3-17)
Statut de publication:Publié, 2015-10
Sujet CREF:Informatique générale
Mots-clés:mixed reality, timed automata, deadlocks, temporal properties
Note générale:SCOPUS: cp.k
SCOPUS: cp.k
Langue:Anglais
Identificateurs:urn:issn:2194-5357
info:doi/10.1007/978-3-319-23437-3_1
info:scp/84951826659