A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification

Abderrahman Matoussi; Frédéric Gervais; Régine Laleau

A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification

Abderrahman Matoussi ¹ Frédéric Gervais ^{2, 1} Régine Laleau ¹

1 LACL - Laboratoire d'Algorithmique Complexité et Logique

2 LACL - Laboratoire d'Algorithmique Complexité et Logique

Abstract : no abstract

Document type :

Conference papers

Domain :

Computer Science [cs]

Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01224640
Contributor : Régine Laleau <>
Submitted on : Wednesday, November 4, 2015 - 10:50:24 PM
Last modification on : Wednesday, December 19, 2018 - 3:50:03 PM

A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification

Identifiers

Collections

Citation

Export

Metrics

54

Contact

A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification

Identifiers

Collections

Citation

Export

Share

Metrics

54

Contact