Articles de cet auteur
Lien Permanent pour cet article : https://team.inria.fr/aoste/fr/model-concurrency-specification-analysis-and-refinement/
Lien Permanent pour cet article : https://team.inria.fr/aoste/fr/francais-multi-view-power-specification-and-analysis/
Lien Permanent pour cet article : https://team.inria.fr/aoste/fr/causal-and-temporal-specification-of-systems/
Lien Permanent pour cet article : https://team.inria.fr/aoste/fr/automtive-specification-ad-analysis/