Skip navigation
Accueil
Parcourir le dépôt par :
Communautés et collections
Naviguer les items de :
Date publié
Auteur(e)
Titre
Sujet
Aide
Langue
English
français
Services personnalisés :
Espace personnel
Recevoir les nouveautés
Modifier mon profil
Bouira University Digital Space
Recherche
Dans :
Tout le dépôt
Articles
Articles
Chercher
Filtres courants :
Titrek
Auteur(e)
Sujet
Date publié
Has File(s)
???jsp.search.filter.original_bundle_filenames???
???jsp.search.filter.original_bundle_descriptions???
Est égal à
Contient
ID
N'est pas égal à
Ne contient pas
Exclure ID
Titrek
Auteur(e)
Sujet
Date publié
Has File(s)
???jsp.search.filter.original_bundle_filenames???
???jsp.search.filter.original_bundle_descriptions???
Est égal à
Contient
ID
N'est pas égal à
Ne contient pas
Exclure ID
Titrek
Auteur(e)
Sujet
Date publié
Has File(s)
???jsp.search.filter.original_bundle_filenames???
???jsp.search.filter.original_bundle_descriptions???
Est égal à
Contient
ID
N'est pas égal à
Ne contient pas
Exclure ID
Débuter une nouvelle recherche
Ajouter des filtres :
Vous pouvex utiliser des filtres pour chercher mieux.
Titrek
Auteur(e)
Sujet
Date publié
Has File(s)
???jsp.search.filter.original_bundle_filenames???
???jsp.search.filter.original_bundle_descriptions???
Est égal à
Contient
ID
N'est pas égal à
Ne contient pas
Exclure ID
Résultats 231 à 240 sur un total de 270.
précédente
1
...
21
22
23
24
25
26
27
suivante
Résultats trouvés : Documents
Date de publication
Titre
Auteur(s)
2019-12-01
الرؤيا والإيقاع الدّلالي في الشعر الجزائري المعاصر
سعدوني, يحيى
2019-12-01
العنوان/الرؤيا في الشعر الجزائري المعاصر
سعدوني, يحيى
2019-12-01
الرؤيا والإيقاع الدّلالي في الشعر الجزائري المعاصر
سعدوني, يحيى
2019-12-01
العنوان/الرؤيا في الشعر الجزائري المعاصر
سعدوني, يحيى
2019-02-01
Safety analysis of train control system based on model-driven design methodology Authors Abdelhakim Bouya, Otmane Ait Mohamed, Djamal Bennouar, Samir Ouchani Publication date 2019/2/1 Journal Computers in Industry Volume 105 Pages 1-16 Publisher Elsevier Description Embedded system design is a complex process that demands an extensive system level modeling. Its implementation encompasses software and hardware components and its interconnections. In such systems, it is widely recognized that safety should be considered at the design stage itself, particularly at the architectural level to minimize the design effort. This paper presents a novel methodology based on model-driven specification and probabilistic model checking to automatically analyze safety based availability before synthesizing the embedded software product. Initially, the specification relies on the Architecture Analysis and Design Language (AADL) standard. Applying this standard, software components, communication links, and hardware platform are modeled. From the software components, a formal specification suitable for analysis and verification is extracted. When the verification is done and …
Bennouar, Djamal
2019-04-28
الدفاع الشرعي بين الشرعية والانتهاك لقواعد القانون الدولي
Khelifi, Samir
2019-02-01
Safety analysis of train control system based on model-driven design methodology
Bennouar, Djamal
2019-06-03
الخطاب المقدماتي في التراث المكونات والأنواع
عابد, رشيدة
2019-06-03
الجملة في ضوء اللسانيات الحاسوبية
عابد, رشيدة
2019-12
المعجم العربي بين الثراء والحاجة
بورنان, عمر
Découvrir
Auteur(e)
23
CHEKNOUN, Mezhoura
22
Madani, Khodir
11
Bensaid, Samir
10
Ahmed, KETTAB
8
Lounici, Hakim
8
Saoudi, Kamel
7
مزاري, فاتح
5
GRICHE, Issam
4
Benali-Cherif, Nourredine
4
Bennouar, Djamal
.
suivant >
Sujet
3
Algeria
2
antioxidant activity
2
Induction Motor
2
seroprevalence
2
Thermal Model ; Winding Temperature
2
الرؤیا والإیقاع الد ّ لالي ّ في ا...
2
العنوان/الرؤيا في الشعر الجزائري ...
2
ترجمة الروایة المغاربیة الناطقة ب...
2
كرة اليد
1
(u16).المهارات الأساسية؛ فئة أصاغر
.
suivant >