Flexible Behavioural Compatibility and Substitutability for Component Protocols. A Formal Specification. - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

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

Nabil Hameurlain
Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour

Secretariat Liuppa  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00394769

Soumis le : vendredi 12 juin 2009-14:17:18

Dernière modification le : lundi 7 novembre 2022-17:24:33

Fichier non déposé

Dates et versions

hal-00394769 , version 1 (12-06-2009)

Identifiants

  • HAL Id : hal-00394769 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PAU LIUPPA
9 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More