Treffer 1 - 4 von 4 für Suche 'Ngoupé, Éric Lunaud', Suchdauer: 0,43s Treffer weiter einschränken
  1. 1
    A Declarative Approach to Network Device Configuration Correctness

    A Declarative Approach to Network Device Configuration Correctness von Ngoupé, Éric Lunaud, Parisot, Clément, Stoesel, Sylvan, Valtchev, Petko, Villemaire, Roger, Cherkaoui, Omar, Boucher, Pierre, Hallé, Sylvain


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    ValidMaker: A tool for managing device configurations using logical constraints

    ValidMaker: A tool for managing device configurations using logical constraints von Halle, S., Ngoupe, E. L., Nijdam, G., Cherkaoui, O., Valtchev, P., Villemaire, R.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Gestion automatique des configurations réseaux : une approche déductive

    Gestion automatique des configurations réseaux : une approche déductive von Ngoupe, Eric Lunaud

    Volltext bestellen
    Dissertation

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Distributed firewall anomaly detection through LTL model checking

    Distributed firewall anomaly detection through LTL model checking von Halle, Sylvain, Ngoupe, Eric Lunaud, Villemaire, Roger, Cherkaoui, Omar


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: