Deadlock and Temporal Properties Analysis in Mixed Reality Applications.

Arcile, Johan; Devillers, Raymond; Didier, Jean-Yves; Klaudel, Hanna

doi:doi/10.1109/ISSRE.2014.33

Recherche avancée | Historique de recherche Mon DI-fusion | À propos de DI-fusion | Contact |

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

Fichier(s) déposé(s) par l'encodeur

Documents en relation

DI-fusion

Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks
par Arcile, Johan , Devillers, Raymond , Klaudel, Hanna
Publication 2020-08-01
On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets
par Devillers, Raymond , Tredup, Ronny
Publication 2023-10-01
Models for the dynamic exploration of the state spaces of autonomous vehicles
par Arcile, Johan , Devillers, Raymond , Klaudel, Hanna
Publication 2020-08-01
VerifCar: A framework for modeling and model checking communicating autonomous vehicles
par Arcile, Johan , Devillers, Raymond , Klaudel, Hanna
Publication 2020-08-01
On the Reversibility of Circular Conservative Petri Nets
par Devillers, Raymond
Publication 2023-05-01

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.