تأیید زمان اجرا: ششمین کنفرانس بین المللی ، RV 2015 وین ، اتریش ، 22-25 سپتامبر 2015. مجموعه مقالات
Runtime Verification: 6th International Conference, RV 2015 Vienna, Austria, September 22–25, 2015. Proceedings
نویسنده: Ezio Bartocci, Rupak Majumdar (eds.)
ناشر: Springer International Publishing
سال انتشار: 2015
تعداد صفحات: 439
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 16 مگابایت