Browsing by Title

Jump to: 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
or enter first few letters:  
Showing results 3556 to 3575 of 12792 < previous   next >
Issue DateTitleAuthor(s)
2006(S)-2-(2-Chloroquinolin-3-yl)-2-[(S)-α-methylbenzylamino] acetonitrileBenali-Cherif, Nourredine
2015S.C.S.E.Gأثر تمكين العاملين على الولاء التنظيمي دراسة حالة شركة الاسمنت بسور الغزلان-لبويرة-
2019-02-01Safety analysis of train control system based on model-driven designBennouar, Djamal
2019-02-01Safety analysis of train control system based on model-driven design methodologyBennouar, Djamal
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
2018Saεid Ucemmut: Amedyaz seg At Meddur 1899-1990 (Poésie inédite)DJELLAOUI, Mohamed
2019-( SC-SEG )مساهمة التمكين الإداري في تحقيق الجودة الشاملة - دراسة ميدانية على مؤسسة الاسمنت بسور الغزلان لولاية البويرةعيسات, فطيمة الزهرة
2021-12-15(SC-SEG) أثر التمكين الإداري على سلوك المواطنة التنظيمية للعاملين - دراسة ميدانية على مؤسسة الإسمنت بسور الغزلان لولاية البويرةونوغي, فتيحة
2018-01-01(sc-seg)تطبيق أسلوب التقييم الإكتواري لمزايا المستخدمين من مؤسسة إقتصادية -دراسة حالة شركة الإسمنت بسور الغزلانرحيم, سعيد
2009A scalable based multicast model for P2P Conferencing applicationsMourad, Amad
2014-06-01A scanning electron microscopy study of Argulus vittatus (Rafinesque-Schmaltz, 1814)(Crustacea: Branchiura) from Algerian coastIder, Djamila; Ramdane, Zouhir; Courcot, Lucie; Amara, Rachid; Trilles, Jean-Paul
2017-06-01Scavenging diet of Brown-necked Raven Corvus ruficollis Lesson, 1830 (Aves: Corvidae) in a hyper-arid region of Central Algerian SaharaBelkacem, Mohamed; Marniche, Faiza; Berrabah, Djamal Edine; Medina, Felix Manuel; Daoudi-Hacini, Samia; Doumandji, Salaheddine
2018-07-06(SCF) التقييم و المعالجة المحاسبية للمخ ز ونات وفق النظام المحاسبي المالي -DMC -دراسة حالة مؤسسة توزيع مواد البناء بالبويرةنيار أحمد
2015-06-10(SCF) دور النظام المحاسبي المالي المعلومات المالية د ا رسة حالة مؤسسة الإحسان البويرةعون وردية
2009Scheduling real-time of the synchronous hybrid tasks under energy constraintakli, abbas
2011Scientific and Organizing CommitteesLounici, Hakim
2019-07-04Screening phytochimique et étude de quelques activités biologiques de polyphénols de Maclura pomifera cultivée en AlgérieBOUTEBBA, Fatma; CHAYANI, Amina
2019-07-06Screening phytochimiques et activité anti-hémolytique de deux plantes médicinales : Alluim ursinum et Allium porrumGhali, Assia; Rafed, Souad
2015-06-28-SCSEG-الفعالية التنظيمية باستخدام لوحة القيادةدراسة حالة شركة الاسمنت بسور الغزلان-
2013-09-30SDAT 2025السياحة في الجزائر الإمكانيات والمعوقات( 2000-2025) في ظل الإستراتيجية السياحية الجديدة للمخطط التوجيهي للتهيئة السياحيةعوينان, عبد القادر