Preuve de propriétés d’un analyseur syntaxique de plans de missions robotiques - Université de Bretagne Occidentale
Communication Dans Un Congrès Année : 2016

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

Laurent Tchamnda Nana
François Monin
Sophie Gire
  • Fonction : Auteur
  • PersonId : 955226
  • IdHAL : sophie-gire
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-01519489 , version 1

Citer

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 Consultations
0 Téléchargements

Partager

More