Skip navigation
  • DSpace logo
  • Home
  • Collections
  • Research Outputs
  • Researchers
  • Faculties
  • Projects
  • Explore by
    • Research Outputs
    • Researchers
    • Faculties
    • Projects
  • Sign on to:
    • My DSpace
    • Receive email
      updates
    • Edit Account details

Browsing by Department LAAS Laboratory, , Department of Computer Science, University Badji Mokhtar, Annaba, Algeria


???browse.nav.jump.itemdept???
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 1 to 1 of 1
Issue DateTitleAuthor(s)
25-Mar-2021Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time ModelChabbat, Nadia ; Saidouni, Djamel Eddine ; Boukharrou, Radja ; Ghanemi, Salim 
Showing results 1 to 1 of 1

Explore by
  • Collections
  • Research Outputs
  • Researchers
  • Faculties
  • Projects
Feedback
Built with DSpace-CRIS - Extension maintained and optimized by Logo 4SCIENCE