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 Subject AADL


???browse.nav.jump.subject???
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 2 of 2
Issue DateTitleAuthor(s)
1-Jul-2013From AADL to timed automaton-A verification approachMohamed Elkamel, Hamdane ; Chaoui, Allaoua ; Strecker, Martin 
14-May-2018Une approche basée sur l'ingénierie dirigée par les modèles pour la vérification des descriptions AADLMohamed Elkamel, Hamdane 
Showing results 1 to 2 of 2

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