Modeling and verification using UML statecharts : A working guide to Reactive System Design, runtime monitoring and execution-based model checking

محفوظ في:
التفاصيل البيبلوغرافية
المؤلف الرئيسي: Drusinsky, Doron
التنسيق: كتاب
اللغة:Undetermined
منشور في: Burlington, MA Newnes 2006
الموضوعات:
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

مواد مشابهة