This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequ
931 166 4MB
English Pages 208 Year 2017
Report DMCA / Copyright
DOWNLOAD FILE
Debugging Embedded and Real-Time Systems: The Art, Science, Technology and Tools of Real-Time System Debugging gives a u
1,744 356 26MB Read more
2,219 448 11MB Read more
This is the first book on the formal analysis of controller software implementation and verification using convex optimi
201 55 4MB Read more
201 22 6MB Read more
围绕如何实现高效调试这一主题,本书深入系统地介绍了以调试器为核心的各种软件调试技术。本书共30章,分为6篇。第1篇介绍了软件调试的概况和简要历史。第2篇以英特尔架构(IA)的CPU为例,介绍了计算机系统的硬件核心所提供的调试支持,包括异常、
174 73 297MB Read more
589 85 1MB Read more
Wireless communications technologies are the platform to develop user-centric systems in a multi-device platform that al
248 88 21MB Read more
An essential introduction to the analysis and verification of control system software The verification of control syste
554 100 5MB Read more
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Haifa Verification Co
546 148 6MB Read more
Embedded Linuxwill help the user: select an Embedded Linux platform based on hardware requirements; build and boot a cus
2,569 350 2MB Read more