Communication Dans Un Congrès
Année : 2007
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
Dates et versions
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⟩
9
Consultations
0
Téléchargements