Journal of Software Engineering and Applications

Vol.5 No.12BB(2012), Paper ID 27152, 6 pages

DOI:10.4236/jsea.2012.512B036

 

Formal Modeling and Analysis of AADL Threads in Real Time Maude

 

F. Belala, M. Benammar, K. Barkaoui, A. Hicheur

 

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.

Copyright © 2020 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.