Department of Computer Science, Mentouri University, Constantine, Algeria
Department of Computer Science, Mentouri University, Constantine, Algeria
CEDRIC, Conservatoire National des Arts et Métiers, Paris, France
CEDRIC, Conservatoire National des Arts et Métiers, Paris, France
Copyright © 2012 F. Belala, M. Benammar, K. Barkaoui, A. Hicheur et al. This is
an open access article distributed under the Creative Commons Attribution
License, which permits unrestricted use, distribution, and reproduction in any
medium, provided the original work is properly cited.
How to Cite this Article
F. Belala, M. Benammar, K. Barkaoui and A. Hicheur, "Formal Modeling and Analysis of AADL Threads in Real Time Maude,"
Journal of Software Engineering and Applications, Vol. 5 No. 12B, 2012, pp. 187-192. doi:
10.4236/jsea.2012.512B036.