Models and methods for the Analysis and Optimization of Systems with real-Time and Embedding constraints
Causal and temporal specification of systems
Model concurrency specification, analysis and refinement
January 9, 2013
Permanent link to this article: https://team.inria.fr/aoste/francais-multi-view-power-specification-and-analysis/
Your email address will not be published.
© 2020 AOSTE.
Made with by Graphene Themes.