Communication Dans Un Congrès
Année : 2009
Flavio Oquendo : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00514755
Soumis le : vendredi 3 septembre 2010-08:52:16
Dernière modification le : vendredi 8 octobre 2021-18:50:10
Dates et versions
Identifiants
- HAL Id : hal-00514755 , version 1
Citer
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. pp.475-482. ⟨hal-00514755⟩
85
Consultations
0
Téléchargements