Embedded Software Verification and Debugging 9781461422662, 1461422663

Debugging Embedded and Real-Time Systems: The Art, Science, Technology, and Tools of Real-Time System Debugging 9780128178126, 0128178124

Debugging Embedded and Real-Time Systems: The Art, Science, Technology and Tools of Real-Time System Debugging gives a u

1,682 344 26MB Read more

Formal Verification of Control System Software 9780691189581

This is the first book on the formal analysis of controller software implementation and verification using convex optimi

178 47 4MB Read more

Challenges of Software Verification 9789811996009, 9789811996016

172 14 6MB Read more

Effective Debugging 66 Specific Ways to Debug Software and Systems

2,142 432 11MB Read more

软件调试: Software Debugging [1 edition] 9787121064074

围绕如何实现高效调试这一主题，本书深入系统地介绍了以调试器为核心的各种软件调试技术。本书共30章，分为6篇。第1篇介绍了软件调试的概况和简要历史。第2篇以英特尔架构（IA）的CPU为例，介绍了计算机系统的硬件核心所提供的调试支持，包括异常、

147 73 297MB Read more

Developing Embedded Software using DaVinci and OMAP Technology 1598299786

560 78 1MB Read more

Formal Verification of Control System Software 0691181306, 9780691181301

An essential introduction to the analysis and verification of control system software The verification of control syste

537 97 5MB Read more

Embedded Linux: Hardware, Software, and Interfacing (R): Hardware, Software, and Interfacing [Nachdr. ed.] 0672322269, 9780672322266

Embedded Linuxwill help the user: select an Embedded Linux platform based on hardware requirements; build and boot a cus

2,351 321 2MB Read more

Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, ... / Programming and Software Engineering) [1 ed.] 3642017010, 9783642017018

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Haifa Verification Co

525 138 6MB Read more

Java Software and Embedded Systems [1 ed.] 9781611225099, 9781607416616

Wireless communications technologies are the platform to develop user-centric systems in a multi-device platform that al

195 79 21MB Read more