Preuve de propriétés d’un analyseur syntaxique de plans de missions robotiques

Laurent Tchamnda Nana 1 François Monin 1 Sophie Gire 1
1 Lab-STICC_UBO_CID_SFIIS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Type de document :
Communication dans un congrès
11th National Conference on “Software and Hardware Architectures for Robots Control”, SHARC'2016, Jun 2016, Brest, France. 〈http://lab-sticc.univ-brest.fr/~goulven/sharc2016/〉
Liste complète des métadonnées

http://hal.univ-brest.fr/hal-01519489
Contributeur : Laurent Nana <>
Soumis le : lundi 8 mai 2017 - 01:58:50
Dernière modification le : mardi 16 janvier 2018 - 15:54:25

Identifiants

  • HAL Id : hal-01519489, version 1

Citation

Laurent Tchamnda Nana, François Monin, Sophie Gire. Preuve de propriétés d’un analyseur syntaxique de plans de missions robotiques. 11th National Conference on “Software and Hardware Architectures for Robots Control”, SHARC'2016, Jun 2016, Brest, France. 〈http://lab-sticc.univ-brest.fr/~goulven/sharc2016/〉. 〈hal-01519489〉

Partager

Métriques

Consultations de la notice

114