Skip to Main content Skip to Navigation
Reports

A First Attempt to Express KAOS Refinement Patterns with Event B

Abstract : no abstract
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01224663
Contributor : Régine Laleau <>
Submitted on : Wednesday, November 4, 2015 - 10:50:46 PM
Last modification on : Friday, October 4, 2019 - 1:13:21 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

103