12 يوليو، 2024
نشر بحث علمي جديد لتدريسي من كلية الهندسة في تخصص معمارية الحاسوب والأنظمة المعتمدة
![450796601_1017242726861154_8135796751942093800_n](https://uomosul.edu.iq/engineering/wp-content/uploads/sites/9/2024/07/450796601_1017242726861154_8135796751942093800_n.jpg)
ضمن الانشطة العلمية المستمرة لأعضاء الهيئة التدريسية لقسم هندسة الحاسوب في كلية الهندسة بجامعة الموصل، نشر الاستاذ المساعد الدكتور شوكت صباح خيرالله بحث علمي منفرد بعنوان “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).
![](https://uomosul.edu.iq/engineering/wp-content/uploads/sites/9/2024/07/450438219_1017242610194499_9001585998748080563_n-258x300.jpg)