par Arcile, Johan;Devillers, Raymond ;Didier, Jean-Yves;Klaudel, Hanna
Référence Proceedings - International Symposium on Software Reliability Engineering, page (55-65), 6982614
Publication Publié, 2014-11
Article révisé par les pairs
Titre:
  • Deadlock and Temporal Properties Analysis in Mixed Reality Applications.
Auteur:Arcile, Johan; Devillers, Raymond; Didier, Jean-Yves; Klaudel, Hanna
Informations sur la publication:Proceedings - International Symposium on Software Reliability Engineering, page (55-65), 6982614
Statut de publication:Publié, 2014-11
Sujet CREF:Informatique générale
Mots-clés:deadlocks
Mixed reality
temporal properties
timed automata
Langue:Anglais
Identificateurs:urn:issn:1071-9458
info:doi/10.1109/ISSRE.2014.33
info:scp/84928664489

Documents en relation

DI-fusion