Expressing KAOS Goal Refinement Patterns with Event-B
Résumé
no abstract
Régine Laleau : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01224651
Soumis le : mercredi 4 novembre 2015-22:50:34
Dernière modification le : vendredi 27 décembre 2024-19:47:34