Résultats de la recherche - Delfieu, David

Vérification et dépliages de réseaux de Petri temporels paramétrés / par Traonouez, Louis-Marie (1984-....)

Vérification et dépliages de réseaux de Petri temporels paramétrés par Traonouez, Louis-Marie (1984-....)

accès au texte intégral de la thèse

Contribution au dépliage des réseaux de Petri et à l'analyse des processus de branchement / par Comlan, Maurice (1987-....)

Accès au texte intégral
Accéder au texte intégral
Accéder au texte intégral