مشخصات کتاب

Embedded Software Verification and Debugging

ویرایش:  
نویسندگان: Djones Lettnin. Markus Winterholer (eds.)  
سری: Embedded Systems 
 
ناشر: Springer 
سال نشر: 2017 
تعداد صفحات: 220 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 9 مگابایت 

در صورت تبدیل فایل کتاب Embedded Software Verification and Debugging به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب تایید و اشکال زدایی نرم افزار تعبیه شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

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

فهرست مطالب

Front Matter....Pages i-xvi
An Overview About Debugging and Verification Techniques for Embedded Software....Pages 1-18
Embedded Software Debug in Simulation and Emulation Environments for Interface IP....Pages 19-45
The Use of Dynamic Temporal Assertions for Debugging....Pages 47-65
Automated Reproduction and Analysis of Bugs in Embedded Software....Pages 67-106
Model-Based Debugging of Embedded Software Systems....Pages 107-132
A Mechanism for Monitoring Driver-Device Communication....Pages 133-158
Model Checking Embedded C Software Using k-Induction and Invariants....Pages 159-182
Scalable and Optimized Hybrid Verification of Embedded Software....Pages 183-205
Back Matter....Pages 207-208

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

کتاب های تصادفی

دانلود کتاب Enviromedics: The Impact of Climate Change on Human Health

دانلود کتاب A 2nd Helping of Chicken Soup for the Soul_ 101 More Stories to Open the Heart and Rekindle the Spirit

دانلود کتاب Multidisciplinary Approach to Earthquake Prediction: Proceedings of the International Symposium on Earthquake Prediction in the North Anatolian Fault Zone held in Istanbul, March 31–April 5, 1980

دانلود کتاب Mito e realidade

دانلود کتاب Brændevin på vilde bær og urter