Knowledge Tree

researcher / Christine Choppy

Christine Choppy

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Directed Thesis:

Approches pour la modernisation et vérification des systèmes temporisés en utilisant les diagrammes états-transitions et les réseaux de Pétri colorés

Reconnaissance de comportements complexes par traitement en ligne de flux d’événements

Méthodologie de conception des modèles exprimés en réseaux Petri : Raffinement des réseaux de Petri colorés

Détection d'activités par un système de reconnaissance de chroniques et application au cas des simulations distribuées HLA

Topos, un modèle pour l'informatique

Korrigan : un formalisme et une methode pour la specification formelle et structuree de systemes mixtes

Retro-ingenierie de programmes fortran utilisant les specifications algebriques