Daniel Puche

Publication Activity (10 Years)

Years Active: 2004-2005
Publications (10 Years): 0

Publications

Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche
Modelling the Temporal Aspects of Network Configurations. Net-Con (2005)
Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche
A Formal Validation Model for the Netconf Protocol. DSOM (2004)
Rudy Deca, Omar Cherkaoui, Daniel Puche
Configuration Model for Network Management. Net-Con (2004)
Rudy Deca, Omar Cherkaoui, Daniel Puche
A Validation Solution for Network Configuration. CNSR (2004)