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
Navigation de collection par Titre
Sauter vers :
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
ou entrer les premières lettres :
Arranger par :
titre
date publié
date soumis
Ordre :
Croissant
Décroissant
Résultats par page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Auteurs par dossier:
Tout
1
5
10
15
20
25
30
35
40
45
50
Montrant les résultats 4685 à 4704 de 15741
< précédent
suivant >
Date de publication
Titre
Auteur(s)
2021
Routage, Optimisation de la consommation de l’énergie dans un réseau de capteurs sans fil
DAAS, Mourad
;
BOUCIF, Mounia
2023-09
Rôle de la Résine Glycérophtalique dans une peinture à base de solvant
hannachi, Chaima
2022
Rôle des actinobactéries dans la bioremédiation des sols pollués
OUARAB, Rima
;
BESSAAD, Manel
2020
Rôle des antioxydants dans la protection des cellules spermatiques à l’égard de la toxicité engendrée par les anticancéreux
ARBAOUI, Lydia
;
HACENE, Younes
2014-12
Rôle Des Connaissances Scientifiques Dans La Production De Texte Explicatif En L2 En Contexte Plurilingue. Effet Du Travail Collaboratif
SAKRANE, Fatima Zohra
2020-09-24
Rôle des PGPR dans la protection de la tomate contre la pourriture grise due à Botrytis cinerea
MEDJDOUB, Tiziri
;
KERFAH, Hadjer
2020
Rôle des PGPR dans la protection de la tomate contre la pourriture grise due à Botrytis cinerea
MEDJDOUB, Tiziri
;
KERFAH, Hadjer
2018-06-28
Rôle du mouvement associatif dans la promotion de l’entrepreneuriat social Cas d’étude : Associations jeunesses du secteur de la jeunesse et des sports
DJEDRI NAHADE
2018-06-25
Rôle du mouvement associatif dans la promotion de l’entrepreneuriat social Cas d’étude : Associations jeunesses du secteur de la jeunesse et des sports de la wilaya de Bejaia
djadri nahade
2022
R´ealisation d’un syst`eme d’identification des personnes par leurs empreintes d’articulation FKP avec un algorithme biclustering
ACHIHE, Islam
;
BOUALAMALLAH, Hacene
2020
R´eseaux de neurones pour les jeux de plateau
RABIA, Molkhir
;
SAIDANI, Siham
2018
R´esolution d’un probl`eme de contrˆole optimal avec des contraintes sur l’´etat par la technique de param´etrisation en utilisant la m´ethode de d´ecomposition d’Adomian
Ouali, Dehia
;
Younsi, Hanane
2018
R´esolution d’un probl`eme de programmation lin´eaire avec la m´ethode DC
HAMDACHE, Sid Ali
2018
R´esolution d’un probl`eme de programmation lin´eaire avec la m´ethode DC
Sid Ali, HAMDACHE
2006
(S)-2-(2-Chloroquinolin-3-yl)-2-[(S)-α-methylbenzylamino] acetonitrile
Benali-Cherif, Nourredine
2015
S.C.S.E.Gأثر تمكين العاملين على الولاء التنظيمي دراسة حالة شركة الاسمنت بسور الغزلان-لبويرة
-
2019-02-01
Safety analysis of train control system based on model-driven design
Bennouar, Djamal
2019-02-01
Safety analysis of train control system based on model-driven design methodology
Bennouar, Djamal
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
2018
Saεid Ucemmut: Amedyaz seg At Meddur 1899-1990 (Poésie inédite)
DJELLAOUI, Mohamed