dblp.uni-trier.dewww.uni-trier.de

Rudy Deca

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
4EESylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche: Modelling the Temporal Aspects of Network Configurations. Net-Con 2005: 269-282
2004
3EERudy Deca, Omar Cherkaoui, Daniel Puche: A Validation Solution for Network Configuration. CNSR 2004: 273-275
2EESylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche: A Formal Validation Model for the Netconf Protocol. DSOM 2004: 147-158
1EESylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire: Automated Validation of Service Configuration on Network Devices. MMNS 2004: 176-188

Coauthor Index

1Omar Cherkaoui [1] [2] [3] [4]
2Sylvain Hallé [1] [2] [4]
3Daniel Puche [2] [3] [4]
4Roger Villemaire [1] [2] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)