طراحی برای آزمایشپذیری، اشکالزدایی و قابلیت اطمینان: اقدامات نسل بعدی با استفاده از تکنیکهای رسمی
Design für Testbarkeit, Fehlersuche und Zuverlässigkeit: Maßnahmen der nächsten Generation unter Verwendung formaler Techniken
نویسنده: Sebastian Huhn, Rolf Drechsler
ناشر: Springer Vieweg
سال انتشار: 2024
تعداد صفحات: xxi, 180 [192]
زبان: German
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 4 مگابایت