Article Dans Une Revue
Advances in Science, Technology and Engineering Systems Journal
Année : 2021
Laurent Nana : Connectez-vous pour contacter le contributeur
https://hal.univ-brest.fr/hal-04158144
Soumis le : lundi 10 juillet 2023-19:27:27
Dernière modification le : jeudi 19 septembre 2024-15:06:40
Citer
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
Consultations
0
Téléchargements