A Service-Based Component Model{:} Description Formalism, Formal Analysis and Mechanization - Archive ouverte HAL
Other Publications Year : 2005

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

Abstract

no abstract

Domains

Software Engineering [cs.SE]

LS2N Hal  : Connect in order to contact the contributor

https://hal.science/hal-00458116

Submitted on : Friday, February 19, 2010-12:39:04 PM

Last modification on : Friday, January 5, 2024-3:23:20 AM

No file

Dates and versions

hal-00458116 , version 1 (19-02-2010)

Identifiers

  • HAL Id : hal-00458116 , version 1

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS LINA LINA-COLOSS LINA-AELOS LS2N NANTES-UNIVERSITE
62 View
0 Download

Share

More