A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification - Archive ouverte HAL
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

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
ICECCS'11VersionPubliee.pdf (241.97 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Régine Laleau  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01224640

Soumis le : jeudi 21 octobre 2021-12:21:25

Dernière modification le : vendredi 24 mars 2023-14:53:23

Archivage à long terme le : samedi 22 janvier 2022-18:47:06

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS LACL UPEC
60 Consultations
177 Téléchargements

Partager

More