نشر بحث علمي جديد لتدريسي من كلية الهندسة في تخصص معمارية الحاسوب والأنظمة المعتمدة
mohammed2024-07-14T09:14:20+03:00ضمن الانشطة العلمية المستمرة لأعضاء الهيئة التدريسية لقسم هندسة الحاسوب في كلية الهندسة بجامعة الموصل، نشر الاستاذ المساعد الدكتور شوكت صباح خيرالله بحث علمي منفرد بعنوان “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).