Print this Page

Presentation

AOSTE stopped on December, 31, 2016.
Perhaps you’re interested in the KAIROS team whose website can be found here: http://team.inria.fr/kairos

Permanent link to this article: https://team.inria.fr/aoste/

Model concurrency specification, analysis and refinementMulti-view power specification and analysisCausal and temporal specification of systemsAutomotive specification and analysis