Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking /

محفوظ في:
التفاصيل البيبلوغرافية
المؤلف الرئيسي: Drusinsky, Doron
مؤلف مشترك: ebrary, Inc
التنسيق: الكتروني كتاب الكتروني
اللغة:الإنجليزية
منشور في: Burlington, MA : Newnes, c2006.
الموضوعات:
الوصول للمادة أونلاين:An electronic book accessible through the World Wide Web; click to view
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!