A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

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

Résumé

no abstract
Fichier principal
Vignette du fichier
ICECCS'11VersionPubliee.pdf (241.97 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01224640 , version 1 (21-10-2021)

Identifiants

  • HAL Id : hal-01224640 , version 1

Citer

Abderrahman Matoussi, Frédéric Gervais, Régine Laleau. A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification. 16th International Conference on Engineering of Complex Computer Systems, 2011, Unknown, Unknown Region. ⟨hal-01224640⟩

Collections

CNRS LACL UPEC
54 Consultations
125 Téléchargements

Partager

Gmail Facebook X LinkedIn More