"Formal Modeling and Analysis of AADL Threads in Real Time Maude"
written by F. Belala, M. Benammar, K. Barkaoui, A. Hicheur,
published by Journal of Software Engineering and Applications, Vol.5 No.12B, 2012
has been cited by the following article(s):
  • Google Scholar
  • CrossRef