الفهرسة نشطة
للباحثين للناشرين تسجيل الدخول إنشاء حساب
الرئيسية الأبحاث Arabian Journal for Science and Engineering
Q1 2016

Formal Specification and Verification of Few Combined Fragments of UML Sequence Diagram

Nazir Ahmad Zafar
10.1007/s13369-015-1999-9 387 المشاهدات 4 الاقتباسات
4
الاقتباسات
387
المشاهدات
الملخص غير متوفر لهذا المنشور.
الاستشهاد بهذا المقال (APA)
Nazir, A. Z. (2016). Formal Specification and Verification of Few Combined Fragments of UML Sequence Diagram. Arabian Journal for Science and Engineering. https://doi.org/10.1007/s13369-015-1999-9
أبحاث ذات صلة
99
استشهاد
396
الوصول
عرض النص الكامل عبر DOI
نُشر في
الرقم الدولي ISSN 1319-8025
الربعية Q1
درجة المؤشر القياس العربي 100
التخصص Engineering & Technology
الناشر Springer-Verlag
الدولة 🇸🇦 Saudi Arabia
عرض ملف المجلة →
المؤلفون
تفاصيل النشر
السنة 2016
اللغة English
أُضيف في 01 Aug 2026