Knowledge Tree

researcher / Laure Petrucci

Laure Petrucci

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Thesis:

Techniques d'analyse des reseaux de petri algebriques

Directed Thesis:

Quasi optimal model checking for concurrent systems

Efficient Parametric Verification of Parametric Timed Automata

Abstraction et analyse de l'espace des états des réseaux de Pétri temporels

Specification and Verification of the NEO Storage Distributed Protocol

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

Système coopératif de type égal-à-égal pour la recommandation : application à la gestion et la recommandation de références bibliographiques