Formal Proof of Properties of a Syntax-Oriented Editor of Robotic Missions Plans - Université de Bretagne Occidentale
Journal Articles Advances in Science, Technology and Engineering Systems Journal Year : 2021

Formal Proof of Properties of a Syntax-Oriented Editor of Robotic Missions 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-04158144

Submitted on : Monday, July 10, 2023-7:27:27 PM

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

No file

Dates and versions

hal-04158144 , version 1 (10-07-2023)

Identifiers

Cite

Laurent Tchamnda Nana, François Monin, Sophie Gire. Formal Proof of Properties of a Syntax-Oriented Editor of Robotic Missions Plans. Advances in Science, Technology and Engineering Systems Journal, 2021, 6 (1), pp.1049-1057. ⟨10.25046/aj0601116⟩. ⟨hal-04158144⟩

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
36 View
0 Download

Altmetric

Share

More