Travelled to:1 × Germany
1 × United Kingdom
Collaborated with:∅
Talks about:substitut (2) behaviour (2) protocol (2) compon (2) compat (2) flexibl (1) specif (1) formal (1)
Person: Nabil Hameurlain
DBLP: Hameurlain:Nabil
Contributed to:
20072005Wrote 2 papers:
- SEFM-2007-Hameurlain #behaviour #component #flexibility #protocol #specification
- Flexible Behavioural Compatibility and Substitutability for Component Protocols: A Formal Specification (NH), pp. 391–400.
- SEFM-2005-Hameurlain #behaviour #component #on the #protocol
- On Compatibility and Behavioural Substitutability of Component Protocols (NH), pp. 394–403.