| |
| 2005 | ||
|---|---|---|
| 3 | EE | Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche: Modelling the Temporal Aspects of Network Configurations. Net-Con 2005: 269-282 |
| 2004 | ||
| 2 | EE | Rudy Deca, Omar Cherkaoui, Daniel Puche: A Validation Solution for Network Configuration. CNSR 2004: 273-275 |
| 1 | EE | Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche: A Formal Validation Model for the Netconf Protocol. DSOM 2004: 147-158 |
| 1 | Omar Cherkaoui | [1] [2] [3] |
| 2 | Rudy Deca | [1] [2] [3] |
| 3 | Sylvain Hallé | [1] [3] |
| 4 | Roger Villemaire | [1] [3] |