Journal Articles
Advances in Science, Technology and Engineering Systems Journal
Year : 2021
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
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⟩
Collections
36
View
0
Download