مشخصات کتاب

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

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

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

دانلود کتاب Introduction to Mathematics of Satisfiability (Chapman & Hall Crc Studies in Informatics)

دانلود کتاب Telecommunication Electronics

دانلود کتاب Высокоуровневое проектирование встраиваемых систем

دانلود کتاب Vorlesungen über Vergleichende Anatomie: 4. Lieferung: Ernährungsorgane

دانلود کتاب Label-Free Monitoring of Cells in vitro