Texte intégral
To cite this document: RUBINI Stéphane, SINGHOFF Frank, HUGUES Jérôme. Modeling and verification of memory architectures with AADL and REAL. In : Sixth IEEE International workshop UML and AADL - UML&AADL'2011, 27-29 April 2011, Las Vegas, USA.
This is an author-deposited version published in: http://oatao.univ-toulouse.fr/ Eprints ID: 4494
Any correspondence concerning this service should be sent to the repository administrator: [email protected]
Documents relatifs
Proceedings of the annual international scientific conference on Computer Systems, Applications and Software Engineering (CSASE) – 2018.. The Conference agenda will work as a
Service-Oriented Computing: Concepts, Characteristics and Di- rections, Proceedings of the Fourth international Conference on Web information Systems Engineering WISE, Washington:
In IEEE/RAS International Conference on Intelligent Robot and Systems (IROS), Workshop on Visual Control of Mobile Robots (ViCoMor), 2011..
Cremers, “The wave kernel signature : A quantum mechanical approach to shape analysis,” dans 2011 IEEE International Conference on Computer Vision Workshops (ICCV Workshops),
In Marion Berbineau, Makoto Itami, and GuangJun Wen, editors, ITST 2009, 9th International Conference on Intelligent Transport Systems Telecommunications, pages 186–191.. IEEE
International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS’08) , Lecture Notes in Computer Science, Lecture Notes in Computer Science. Bouyer
Meyer, Minimum spanning tree adaptive image filtering, in 2009 16th IEEE International Conference on Image Processing (ICIP), IEEE, 2009, pp. Strang, Maximal flow through a
Pro- ceedings of FORMATS ’08: Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems, Berlin, Heidelberg: Springer-Verlag, 2008.
