DSpace Repository

Browsing by Subject "UML, maude, LTL, ATOM3 , model checking."

Browsing by Subject "UML, maude, LTL, ATOM3 , model checking."

Sort by: Order: Results:

  • Développement d’un système de vérification des systèmes embarqués 
    Bakri, Asma (FACULTE DES MATHEMATIQUES ET DE L’INFORMATIQUE - UNIVERSITE MOHAMED BOUDIAF - M’SILA, 2017)
    Les systèmes embarqués sont des systèmescomplexes qui posent le problème lors de leurs modélisations et de vérification Ce travail permet de développer un système de modélisation et de vérification en utilisent UML et ...