Formal Specification and Verification of Multi-Agent Robotics Software Systems – a Case Study

Nadeem Akhtar 1 Yann Le Guyadec 1 Flavio Oquendo 1, *
* Auteur correspondant
1 VALORIA - Laboratoire de Recherche en Informatique et ses Applications de Vannes et Lorient
Type de document :
Communication dans un congrès
First International Conference on Agents and Artificial Intelligence (ICAART 2008), Jan 2009, Porto, Portugal. INSTICC, pp.475-482, 2009
Liste complète des métadonnées
https://hal.archives-ouvertes.fr/hal-00514755
Contributeur : Flavio Oquendo <>
Soumis le : vendredi 3 septembre 2010 - 08:52:16
Dernière modification le : vendredi 3 septembre 2010 - 11:22:26

Identifiants

  • HAL Id : hal-00514755, version 1

Collections

Citation

Nadeem Akhtar, Yann Le Guyadec, Flavio Oquendo. Formal Specification and Verification of Multi-Agent Robotics Software Systems – a Case Study. First International Conference on Agents and Artificial Intelligence (ICAART 2008), Jan 2009, Porto, Portugal. INSTICC, pp.475-482, 2009. 〈hal-00514755〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

143

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD