تأیید زمان اجرا: هفدهمین کنفرانس بین المللی، RV 2017، سیاتل، WA، ایالات متحده آمریکا، 13-16 سپتامبر 2017، مجموعه مقالات
Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
نویسنده: Lahiri, Shuvendu; Reger, Giles
ناشر: Springer
سال انتشار: 2017
تعداد صفحات: 442
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 23 مگابایت