Behavioural Verification of Service Composition - Archive ouverte HAL
Conference Papers Year : 2005

Behavioural Verification of Service Composition

Abstract

no abstract

Domains

Software Engineering [cs.SE]

LS2N Hal  : Connect in order to contact the contributor

https://hal.science/hal-00458120

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

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

No file

Dates and versions

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

Identifiers

  • HAL Id : hal-00458120 , version 1

Cite

Pascal André, Gilles Ardourel, Christian Attiogbé. Behavioural Verification of Service Composition. ICSOC Workshop on Engineering Service Compositions, WESC'05, 2005, Amsterdam, The Netherlands, Netherlands. pp.77--84. ⟨hal-00458120⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

Share

More