• Citer

Deadlock and Temporal Properties Analysis in Mixed Reality Applications.

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

Article révisé par les pairs

• Accès en ligne
• Détails
• Contenu
• Statistiques

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)
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