![]() | ![]() |
| 2010 | ||
|---|---|---|
| 3 | Samir Chouali, Sebti Mouelhi, Hassan Mountassir: Adapting Component Behaviours Using Interface Automata. EUROMICRO-SEAA 2010: 119-122 | |
| 2 | Samir Chouali, Hassan Mountassir, Sebti Mouelhi: An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car. Electr. Notes Theor. Comput. Sci. 238(6): 3-13 (2010) | |
| 2009 | ||
| 1 | Sebti Mouelhi, Samir Chouali, Hassan Mountassir: Refinement of Interface Automata Strengthened by Action Semantics. Electr. Notes Theor. Comput. Sci. 253(1): 111-126 (2009) | |
| 1 | Samir Chouali | [1] [2] [3] |
| 2 | Hassan Mountassir | [1] [2] [3] |
Data released under the ODC-BY 1.0 license — See also our legal information page