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