Development of a Model-based Approach using Verification and Fault Tolerance Methods

صفحة المادة البسيطة
dc.contributor.authorFayhaa Hamidi Kulaif Alshwichi فيحاء حميدي خليف الشويجي
dc.contributor.authorSupervised by Assistant Professor Dr. Shawkat Sabah Khairullah باشراف الاستاذ المساعد الدكتور شوكت صباح خير الله
dc.date.accessioned2026-09-29T05:58:14Z
dc.date.issued2023
dc.descriptionA Thesis Submitted The Council of the College of Engineering University of Mosul As a Partial Fulfillment of the Requirements For the Degree of Master of Science In Computer Engineering
dc.identifier.urihttps://drcentrallibrary.uomosul.edu.iq/handle/123456789/8901
dc.language.isoen
dc.relation.ispartofseries8105th
dc.subjectVerification
dc.subjectFault tolerance
dc.subjectSLDV
dc.subjectTMR
dc.subjectHybrid fault tolerance
dc.subjectTemporal logic
dc.titleDevelopment of a Model-based Approach using Verification and Fault Tolerance Methods
dc.title.alternativeتطوير نهج قائم على النموذج باستخدام طرق التحقق والتسامح مع الأخطاء
dc.typeThesis

ملفات

الحزمة الرئيسية

يظهر الآن 1 - 2 من 2
صورة مصغرة
الاسم:
المستخلص.pdf
الحجم:
946.18 KB
تنسيق:
Adobe Portable Document Format
تنزيل
صورة مصغرة
الاسم:
pdf .ملف كامل
الحجم:
9.59 MB
تنسيق:
Adobe Portable Document Format
تنزيل

حزمة الترخيص

يظهر الآن 1 - 1 من 1
صورة مصغرة
الاسم:
license.txt
الحجم:
1.71 KB
تنسيق:
Item-specific license agreed to upon submission
الوصف:
تنزيل

المجموعات

الرسائل والاطاريح الجامعية