Formal Proof of Properties of a Syntax-Oriented Editor of Robotic Missions Plans - Université de Bretagne Occidentale Accéder directement au contenu
Article Dans Une Revue Advances in Science, Technology and Engineering Systems Journal Année : 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
  • Fonction : Auteur
  • PersonId : 1007741
Equipe SecurIty and Resilience of Information Systems
Sophie Gire
  • Fonction : Auteur
  • PersonId : 955226

Domaines

Informatique [cs]

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 : vendredi 2 février 2024-09:42:51

Fichier non déposé

Dates et versions

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

Identifiants

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-BREST INSTITUT-TELECOM CNRS LAB-STICC_UBO ENIB LAB-STICC LAB-STICC_IRIS LAB-STICC_CYR
30 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More