Expressing KAOS Goal Refinement Patterns with Event-B - Archive ouverte HAL Access content directly
Conference Papers Year : 2009
No file

Dates and versions

hal-01224651 , version 1 (04-11-2015)

Identifiers

  • HAL Id : hal-01224651 , version 1

Cite

Abderrahman Matoussi, Frédéric Gervais, Régine Laleau. Expressing KAOS Goal Refinement Patterns with Event-B. Rodin User and Developer Workshop 2009 - Extended Abstracts, 2009, Unknown, Unknown Region. ⟨hal-01224651⟩

Collections

CNRS LACL UPEC
39 View
0 Download

Share

Gmail Facebook X LinkedIn More