Skip to Main content Skip to Navigation
Conference papers

Flexible Behavioural Compatibility and Substitutability for Component Protocols. A Formal Specification.

Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00394769
Contributor : Secretariat Liuppa Connect in order to contact the contributor
Submitted on : Friday, June 12, 2009 - 2:17:18 PM
Last modification on : Thursday, March 5, 2020 - 7:19:11 PM

Identifiers

  • HAL Id : hal-00394769, version 1

Collections

Citation

Nabil Hameurlain. Flexible Behavioural Compatibility and Substitutability for Component Protocols. A Formal Specification.. 5th IEEE International Conference on Software Engineering and Formal Methods., 2007, Londres, United Kingdom. pp.391-400. ⟨hal-00394769⟩

Share

Metrics

Les métriques sont temporairement indisponibles