A formal approach to derivation of concurrent implementations in software product lines - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2008

A formal approach to derivation of concurrent implementations in software product lines

Sergio Yovine
VERIMAG
Ismail Assayad
  • Fonction : Auteur
VERIMAG
François-Xavier Defaut
  • Fonction : Auteur
VERIMAG
Marcelo Zanconi
  • Fonction : Auteur
VERIMAG
Ananda Basu
  • Fonction : Auteur
VERIMAG

Sergio Yovine  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00281753

Soumis le : vendredi 23 mai 2008-21:56:29

Dernière modification le : jeudi 4 avril 2024-21:18:11

Fichier non déposé

Dates et versions

hal-00281753 , version 1 (23-05-2008)

Identifiants

  • HAL Id : hal-00281753 , version 1

Citer

Sergio Yovine, Ismail Assayad, François-Xavier Defaut, Marcelo Zanconi, Ananda Basu. A formal approach to derivation of concurrent implementations in software product lines. Process Algebra for Parallel and Distributed Processing: Algebraic Languages in Specification-Based Software Development, CRC Press-Taylor and Francis Group, LLC, pp.11, 2008, Computational Science Series. ⟨hal-00281753⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA IMAG CNRS VERIMAG
67 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More