Preuve de propriétés d’un analyseur syntaxique de plans de missions robotiques - Université de Bretagne Occidentale
Conference Papers Year : 2016

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

Laurent Tchamnda Nana
François Monin
Sophie Gire
  • Function : Author
  • PersonId : 955226
  • IdHAL : sophie-gire
No file

Dates and versions

hal-01519489 , version 1 (08-05-2017)

Identifiers

  • HAL Id : hal-01519489 , version 1

Cite

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⟩
119 View
0 Download

Share

More