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

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

Laurent Tchamnda Nana
François Monin
  • Function : Author
  • PersonId : 1007741
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⟩
113 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More