ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Lectures on Runtime Verification: Introductory and Advanced Topics

دانلود کتاب سخنرانی در مورد تأیید زمان اجرا: مباحث مقدماتی و پیشرفته

Lectures on Runtime Verification: Introductory and Advanced Topics

مشخصات کتاب

Lectures on Runtime Verification: Introductory and Advanced Topics

ویرایش:  
نویسندگان: ,   
سری: Lecture Notes in Computer Science 10457 
ISBN (شابک) : 9783319756325, 331975632X 
ناشر: Springer International Publishing 
سال نشر: 2018 
تعداد صفحات: 0 
زبان: English 
فرمت فایل : EPUB (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت 

قیمت کتاب (تومان) : 37,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 3


در صورت تبدیل فایل کتاب Lectures on Runtime Verification: Introductory and Advanced Topics به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب سخنرانی در مورد تأیید زمان اجرا: مباحث مقدماتی و پیشرفته نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب سخنرانی در مورد تأیید زمان اجرا: مباحث مقدماتی و پیشرفته

مقدمه‌ای بر تأیید زمان اجرا - کشف خطاهای همزمان - نظارت بر رویدادهایی که داده‌ها را حمل می‌کنند - واکنش و پیشگیری از خطا در زمان اجرا - نظارت مبتنی بر مشخصات سیستم‌های فیزیکی-سایبری: بررسی تئوری، ابزارها و کاربردها - تأیید زمان اجرا برای غیرمتمرکز و سیستم‌های توزیع‌شده -- تجربیات صنعتی با تأیید زمان اجرا سیستم‌های تراکنش‌های مالی: درس‌های آموخته‌شده و چالش‌های دائمی.؛ ایده این جلد از نیاز به داشتن کتابی برای دانش‌آموزان برای پشتیبانی از آموزش آنها با چندین آموزش در مورد جنبه‌های مختلف RV نشأت می‌گیرد. این جلد در هفت فصل سازماندهی شده است و موضوعات تحت پوشش شامل مقدمه ای در مورد تأیید زمان اجرا، تجزیه و تحلیل دینامیک خطاهای همزمان، نظارت بر رویدادهایی که داده ها را حمل می کنند، واکنش خطای زمان اجرا و پیشگیری، نظارت بر سیستم های فیزیکی-سایبری، تأیید زمان اجرا برای غیرمتمرکز و توزیع شده است. سیستم ها و کاربرد صنعتی تکنیک های تأیید زمان اجرا در سیستم های تراکنش مالی


توضیحاتی درمورد کتاب به خارجی

An Introduction to Runtime Verification -- Discovering Concurrency Errors -- Monitoring Events That Carry Data -- Runtime Error Reaction and Prevention -- Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications -- Runtime Verification for Decentralized and Distributed Systems -- Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges.;The idea of this volume originated from the need to have a book for students to support their training with several tutorials on different aspects of RV. The volume has been organized into seven chapters and the topics covered include an introduction on runtime verification, dynamic analysis of concurrency errors, monitoring events that carry data, runtime error reaction and prevention, monitoring of cyber-physical systems, runtime verification for decentralized and distributed systems and an industrial application of runtime verification techniques in financial transaction systems.



فهرست مطالب

Front Matter ....Pages I-VII
Introduction to Runtime Verification (Ezio Bartocci, Yliès Falcone, Adrian Francalanza, Giles Reger)....Pages 1-33
Discovering Concurrency Errors (João M. Lourenço, Jan Fiedor, Bohuslav Křena, Tomáš Vojnar)....Pages 34-60
Monitoring Events that Carry Data (Klaus Havelund, Giles Reger, Daniel Thoma, Eugen Zălinescu)....Pages 61-102
Runtime Failure Prevention and Reaction (Yliès Falcone, Leonardo Mariani, Antoine Rollet, Saikat Saha)....Pages 103-134
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications (Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Ničković et al.)....Pages 135-175
Runtime Verification for Decentralised and Distributed Systems (Adrian Francalanza, Jorge A. Pérez, César Sánchez)....Pages 176-210
Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges (Christian Colombo, Gordon J. Pace)....Pages 211-232
Back Matter ....Pages 233-233




نظرات کاربران