Preuve de propriétés d’un analyseur syntaxique de plans de missions robotiques - Université de Bretagne Occidentale Accéder directement au contenu
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
Lab-STICC_UBO_CID_SFIIS
CV
François Monin
  • Fonction : Auteur
  • PersonId : 1007741
Lab-STICC_UBO_CID_SFIIS
Sophie Gire
  • Fonction : Auteur
  • PersonId : 955226
Lab-STICC_UBO_CID_SFIIS

Domaines

Informatique [cs]

Laurent Nana  : Connectez-vous pour contacter le contributeur

https://hal.univ-brest.fr/hal-01519489

Soumis le : lundi 8 mai 2017-01:58:50

Dernière modification le : vendredi 24 mars 2023-14:53:04

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-BREST INSTITUT-TELECOM CNRS LAB-STICC_UBO ENIB LAB-STICC_ENIB LAB-STICC IBNM
112 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More