Formal Aspects of Component Software - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2013

Formal Aspects of Component Software

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

Domaines

Génie logiciel [cs.SE] Théorie et langage formel [cs.FL] Logique en informatique [cs.LO]

Wendelin Serwe  : Connectez-vous pour contacter le contributeur

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

Soumis le : jeudi 11 février 2016-10:17:05

Dernière modification le : jeudi 4 avril 2024-21:05:26

Fichier non déposé

Dates et versions

hal-01272595 , version 1 (11-02-2016)

Identifiants

Citer

Gwen Salaün, Corina Pasareanu (Dir.). Formal Aspects of Component Software: Proceedings of the 9th International Symposium on Formal Aspects of Component Software (FACS 2012). 2013, ⟨10.1007/978-3-642-35861-6⟩. ⟨hal-01272595⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS INRIA LIG LIG_MFML_CONVECS CONVECS INRIA2 LIG_SIDCH
412 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More