A First Attempt to Express KAOS Refinement Patterns with Event B
Résumé
no abstract
Rapport
(Rapport De Recherche)
Année : 2008
Régine Laleau : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01224663
Soumis le : mercredi 4 novembre 2015-22:50:46
Dernière modification le : vendredi 24 mars 2023-14:53:01
Dates et versions
Identifiants
- HAL Id : hal-01224663 , version 1
Citer
Abderrahman Matoussi, Régine Laleau. A First Attempt to Express KAOS Refinement Patterns with Event B. [Research Report] LACL. 2008. ⟨hal-01224663⟩
53
Consultations
0
Téléchargements