Embedded Software Verification and Debugging |
|
| Editor:
| Winterholer, Markus
Lettnin, Djones |
| Series title: | Embedded Systems Ser. |
| ISBN: | 978-1-4614-2265-5 |
| Publication Date: | Apr 2017 |
| Publisher: | Springer New York
|
| Imprint: | Springer |
| Book Format: | Hardback |
| List Price: | USD $139.99 |
Book Description:
|
This book provides comprehensive coverage of verification and debugging techniques for the embedded software frequently used in safety-critical applications (e.g., automotive), where failures are unacceptable. It also discusses emerging trends and techniques.
This book provides comprehensive coverage of verification and debugging techniques for the embedded software frequently used in safety-critical applications (e.g., automotive), where failures are unacceptable. It also discusses emerging trends and techniques.