Proof of properties of a syntax analyzer of robotic mission plans - Université de Bretagne Occidentale
Conference Papers Year : 2019

Proof of properties of a syntax analyzer of robotic mission plans

Laurent Tchamnda Nana
Equipe SecurIty and Resilience of Information Systems
CV
François Monin
Equipe SecurIty and Resilience of Information Systems
Sophie Gire
  • Function : Author
  • PersonId : 955226
  • IdHAL : sophie-gire

Domains

Computer Science [cs]

Laurent Nana  : Connect in order to contact the contributor

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

Submitted on : Tuesday, July 11, 2023-1:31:11 PM

Last modification on : Thursday, September 19, 2024-3:06:40 PM

No file

Dates and versions

hal-04158756 , version 1 (11-07-2023)

Identifiers

Cite

Laurent Tchamnda Nana, François Monin, Sophie Gire. Proof of properties of a syntax analyzer of robotic mission plans. 4th International Conference and Workshops on Recent Advances and Innovations in Engineering – ICRAIE 2019, Nov 2019, Kedah, Malaysia. pp.1-6, ⟨10.1109/ICRAIE47735.2019.9037782⟩. ⟨hal-04158756⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-BREST CNRS LAB-STICC_UBO ENIB LAB-STICC LAB-STICC_IRIS LAB-STICC_CYR
10 View
0 Download

Altmetric

Share

More