A First Attempt to Express KAOS Refinement Patterns with Event B

Abstract : no abstract
Document type :
Reports
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01224663
Contributor : Régine Laleau <>
Submitted on : Wednesday, November 4, 2015 - 10:50:46 PM
Last modification on : Thursday, January 11, 2018 - 6:19:29 AM

Identifiers

  • 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⟩

Share

Metrics

Record views

61