Author's posts
Permanent link to this article: https://team.inria.fr/aoste/model-concurrency-specification-analysis-and-refinement/
Permanent link to this article: https://team.inria.fr/aoste/francais-multi-view-power-specification-and-analysis/
Permanent link to this article: https://team.inria.fr/aoste/causal-and-temporal-specification-of-systems/
Permanent link to this article: https://team.inria.fr/aoste/automtive-specification-ad-analysis/