Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Yves-Stan Le Cornec

Mots clés

FR

Systemes concurents

Abstraction hiérarchique

Vérification de modèles (informatique)

Petri, Réseaux de