Verification and Adaptation of WF/.NET Components - Archive ouverte HAL
Communication Dans Un Congrès Année : 2008

Verification and Adaptation of WF/.NET Components

Domaines

Informatique Informatique ubiquitaire Logique en informatique [cs.LO] Informatique et langage [cs.CL]

Frédéric Davesne  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00340484

Soumis le : jeudi 20 novembre 2008-23:58:52

Dernière modification le : mardi 19 novembre 2024-20:09:08

Fichier non déposé

Dates et versions

hal-00340484 , version 1 (20-11-2008)

Identifiants

  • HAL Id : hal-00340484 , version 1

Citer

Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel, Pascal Poizat. Verification and Adaptation of WF/.NET Components. Proceedings of the Workshop on Formal Aspects of Component Software (FACS 07), 2008, Paris, France. pp.39--55. ⟨hal-00340484⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-EVRY IBISC IBISC-COSMO INRIA2
147 Consultations
0 Téléchargements

Partager

More