Skip to Main content Skip to Navigation
Other publications

A Service-Based Component Model{:} Description Formalism, Formal Analysis and Mechanization

Résumé : no abstract
Document type :
Other publications
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00458116
Contributor : LS2N Hal Connect in order to contact the contributor
Submitted on : Friday, February 19, 2010 - 12:39:04 PM
Last modification on : Wednesday, April 27, 2022 - 3:49:22 AM

Identifiers

  • HAL Id : hal-00458116, version 1

Citation

Pascal André, Gilles Ardourel, Christian Attiogbé, Henri Habrias, Cédric Stoquer. A Service-Based Component Model{:} Description Formalism, Formal Analysis and Mechanization. 2005. ⟨hal-00458116⟩

Share

Metrics

Record views

43