Knowledge Tree

researcher / Gérard Memmi

Gérard Memmi

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Directed Thesis:

Control plane in dynamic software networks

Une architecture de protection des données efficace basée sur la fragmentation et le cryptage

Consolidation de validation fonctionnelle de systèmes critiques à l'aide de model checking : application au contrôle commande de centrales nucléaires

Preservation de proprietes par composition de reseaux de petri. Extension aux reseaux a files. Application aux protocoles de communication

Transformations de programmes paralleles traduits en reseaux de petri a files