Category: presentationPicts

Jan 09

Model concurrency specification, analysis and refinement

Permanent link to this article: https://team.inria.fr/aoste/model-concurrency-specification-analysis-and-refinement/

Jan 09

Multi-view power specification and analysis

Permanent link to this article: https://team.inria.fr/aoste/francais-multi-view-power-specification-and-analysis/

Jan 09

Causal and temporal specification of systems

Permanent link to this article: https://team.inria.fr/aoste/causal-and-temporal-specification-of-systems/

Jan 09

Automotive specification and analysis

Permanent link to this article: https://team.inria.fr/aoste/automtive-specification-ad-analysis/