اعتبار سنجی در سطح سیستم: مدل سازی سطح بالا و تکنیک های تولید آزمون هدایت شده
System-Level Validation: High-Level Modeling and Directed Test Generation Techniques
نویسنده: Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra (auth.)
ناشر: Springer-Verlag New York
سال انتشار: 2013
تعداد صفحات: 250 [258]
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 5 مگابایت