Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned
Résumé
no abstract
Communication Dans Un Congrès
Année : 2011
Régine Laleau : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01224637
Soumis le : mercredi 4 novembre 2015-22:50:22
Dernière modification le : vendredi 24 mars 2023-14:53:01
Dates et versions
Identifiants
- HAL Id : hal-01224637 , version 1
Citer
Abderrahman Matoussi, Frédéric Gervais, Régine Laleau. Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned. 13th Brazilian Symposium on Formal Methods, 2011, Unknown, Unknown Region. pp.177--193. ⟨hal-01224637⟩
51
Consultations
0
Téléchargements