تایید زمان اجرا: پنجمین کنفرانس بین المللی، RV 2014، تورنتو، ON، کانادا، 22-25 سپتامبر 2014. مجموعه مقالات
Runtime Verification: 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
نویسنده: Borzoo Bonakdarpour, Scott A. Smolka (eds.)
ناشر: Springer International Publishing
سال انتشار: 2014
تعداد صفحات: 358 [373]
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 7 مگابایت