1. Bouira University Digital Space

Recherche


Débuter une nouvelle recherche
Ajouter des filtres :

Vous pouvex utiliser des filtres pour chercher mieux.

 | 
Résultats 11961 à 11970 sur un total de 18713.
Résultats trouvés : Documents
Date de publicationTitreAuteur(s)
2017-12-20السّردي في الشعر الجزائري المعاصر قصيدة " أزهار البرواق" لأحمد عاشوري نموذجاسعدوني, يحيى
2019-12-01الرؤيا والإيقاع الدّلالي في الشعر الجزائري المعاصرسعدوني, يحيى
2019-12-01العنوان/الرؤيا في الشعر الجزائري المعاصرسعدوني, يحيى
2018-12-20الرؤيا ونهائية الصورة الشعرية المغاربية المعاصرةسعدوني, يحيى
2015-06-30مفهوم الذات و علاقتها بظاهرة الإحتراف النفسي لدى مدربي كرة القدممحاد أحسن
2018comportement des cylindres en beton confins totalement ou partiellementCHALAL, salah; DJERROUD, nabil
2020-10-13اليات التحري والمتابعة أمام الضبطية القضائية في جرائم المخدراتشعبان شاوش, زينب; دقي, وردية
2020تأثير سيرة وسلوك المحبوس في إعادة إدماجه في ظل التشريع العقابي الجزائريبوداب, منال
2019-02-01Safety 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
2017ÉTUDEPHYTOGÉOGRAPHIQUE DES MASSIFS FORESTIERS DE KÉFRIDA, UN SECTEUR MÉCONNU DE LA ZONE IMPORTANTE POUR LES PLANTES DES BABORS (NORD-EST ALGÉRIEN)BOUCHIBANE, Mebarek; VÉLA, Errol; Franck BOUGAHAM, Abdelazize; ZEMOURI, Mourad; MAZOUZ, Azzedine; SAHNOUNE, Mohamed

Découvrir