A First Attempt to Express KAOS Refinement Patterns with Event B

Abstract : no abstract
Type de document :
Rapport
[Research Report] LACL. 2008
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01224663
Contributeur : Régine Laleau <>
Soumis le : mercredi 4 novembre 2015 - 22:50:46
Dernière modification le : jeudi 11 janvier 2018 - 06:19:29

Identifiants

  • HAL Id : hal-01224663, version 1

Collections

Citation

Abderrahman Matoussi, Régine Laleau. A First Attempt to Express KAOS Refinement Patterns with Event B. [Research Report] LACL. 2008. 〈hal-01224663〉

Partager

Métriques

Consultations de la notice

56