تایید زمان اجرا: بیست و دومین کنفرانس بین المللی، RV 2022، تفلیس، گرجستان، 28 تا 30 سپتامبر 2022، مجموعه مقالات (یادداشت های سخنرانی در علوم کامپیوتر)
Runtime Verification: 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings (Lecture Notes in Computer Science)
نویسنده: Thao Dang (editor), Volker Stolz (editor)
ناشر: Springer
سال انتشار: 2022
تعداد صفحات: 357
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 15 مگابایت