Communication dans un congrès, Informatique, Informatique ubiquitaire

Real-time Diagnosis of Ambient Environments Using a Modeling of Physical Effects Combined with Temporal Logic

Ahmed Mohamed, Christophe Jacquet, Yacine Bellik. Real-time Diagnosis of Ambient Environments Using a Modeling of Physical Effects Combined with Temporal Logic. UBICOMM 2011, The Fifth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, Nov 2011, Lisbonne, Portugal. pp.145-151. ⟨hal-00646753⟩

Publié le