شماره ركورد :
14825
شماره مدرك :
4365345
نويسنده/تنالگان :
Ezio Bartocci Rupak Majumdar (Lecture Notes in Computer Science)
عنوان :
Runtime Verification - 6th International Conference, RV 2015
اطلاعات نشر :
Springer
سال نشر :
2015
شابك :
9783319238197
Link To Document :
بازگشت