Automatic Implementation of Distributed Algorithms Specified in Event-B - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Automatic Implementation of Distributed Algorithms Specified in Event-B

Mohamed Mosbah
Laboratoire Bordelais de Recherche en Informatique
Mohamed Tounsi
  • Fonction : Auteur
Laboratoire Bordelais de Recherche en Informatique

Domaines

Calcul parallèle, distribué et partagé [cs.DC] Génie logiciel [cs.SE]

Mohamed Mosbah  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00407991

Soumis le : mardi 28 juillet 2009-11:31:59

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

Fichier non déposé

Dates et versions

hal-00407991 , version 1 (28-07-2009)

Identifiants

  • HAL Id : hal-00407991 , version 1

Citer

Mohamed Mosbah, Mohamed Tounsi. Automatic Implementation of Distributed Algorithms Specified in Event-B. Symbolic Computation in Software Science (SCSS 2009), Sep 2009, Tunisia. To appear. ⟨hal-00407991⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS ANR
46 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More