Skip to Main content Skip to Navigation
Conference papers

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
Document type :
Conference papers
Complete list of metadatas

https://hal.univ-brest.fr/hal-01519489
Contributor : Laurent Nana <>
Submitted on : Monday, May 8, 2017 - 1:58:50 AM
Last modification on : Wednesday, June 24, 2020 - 4:19:25 PM

Identifiers

  • 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. ⟨hal-01519489⟩

Share

Metrics

Record views

145