Formal Specification and Verification For Ubiquitous Robotic Services Composition - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Formal Specification and Verification For Ubiquitous Robotic Services Composition

M. Hilia (1) , A. A. Chibani (1) , Karim Djouani (1) , Yacine Y. Amirat (1)
M. Hilia
  • Fonction : Auteur
SIRIUS
A. A. Chibani
  • Fonction : Auteur
SIRIUS
Karim Djouani
SIRIUS
Yacine Y. Amirat
  • Fonction : Auteur
  • PersonId : 16807
  • IdHAL : lab-lissi
SIRIUS

Domaines

Robotique [cs.RO]

Yacine Amirat  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00919385

Soumis le : lundi 16 décembre 2013-16:36:36

Dernière modification le : mardi 19 octobre 2021-16:09:49

Fichier non déposé

Dates et versions

hal-00919385 , version 1 (16-12-2013)

Identifiants

  • HAL Id : hal-00919385 , version 1

Citer

M. Hilia, A. A. Chibani, Karim Djouani, Yacine Y. Amirat. Formal Specification and Verification For Ubiquitous Robotic Services Composition. RSS 2013, Jul 2013, Berlin, Germany. ⟨hal-00919385⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

LISSI UPEC
36 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More