نشر بحوث

ضمن الانشطة العلمية المستمرة لأعضاء الهيئة التدريسية لقسم هندسة الحاسوب في كلية الهندسة بجامعة الموصل، نشر الاستاذ المساعد الدكتور شوكت صباح خيرالله بحث علمي منفرد بعنوان “Formal Verification of a Dependable State Machine-Based Hardware Architecture for Safety-Critical Cyber-Physical Systems: Analysis, Design, and Implementation” في مجلة Journal of Electronic Testing: Theory and Applications (JETTA). وهي من المجلات العلمية الرصينة التي تقع ضمن قاعدة بيانات سكوبس في الربع الثالث (CiteScore=2.0) وقاعدة بيانات كلاريفيت بمعامل تأثير (IF=1.1).