Toggle navigation
AOSTE
Models and methods for the Analysis and Optimization of Systems with real-Time and Embedding constraints
Presentation
Team members
Research
Publications
News
Job offers
Software
Contact
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 refinement
Multi-view power specification and analysis
Causal and temporal specification of systems
Automotive specification and analysis
Previous
Next
English
Français
Various
Aoste publications
ComRed
Log in
Log in
Entries
RSS
Comments
RSS
WordPress.org