Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12) - Inria - Institut national de recherche en sciences et technologies du numérique
Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2014

Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12)

Corina Pasareanu
  • Fonction : Directeur scientifique
NASA Ames Research Center
Gwen Salaün
  • Fonction : Directeur scientifique
  • PersonId : 880331
Construction of verified concurrent systems

Résumé

This issue contains extended versions of selected papers from the 9th International Symposium on Formal Aspects of Component Software (FACS'12).

Domaines

Génie logiciel [cs.SE]
Fichier principal
Vignette du fichier
preface.pdf (39.09 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Gwen Salaün  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01016471

Soumis le : lundi 30 juin 2014-12:24:21

Dernière modification le : lundi 16 décembre 2024-15:38:25

Archivage à long terme le : mardi 30 septembre 2014-15:20:17

Télécharger pour visualiser

Dates et versions

hal-01016471 , version 1 (30-06-2014)

Identifiants

  • HAL Id : hal-01016471 , version 1

Citer

Corina Pasareanu, Gwen Salaün (Dir.). Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12). Corina Pasareanu and Gwen Salaün. Elsevier, pp.3, 2014. ⟨hal-01016471⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS INRIA LIG LIG_MFML LIG_MFML_CONVECS CONVECS INRIA2 LIG_SIDCH
360 Consultations
307 Téléchargements

Partager

More