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

Documents en relation

DI-fusion