Embedded software verification and debugging
Éditeur :
Springer-Verlag New York Inc.
ISBN :
9781493979318
Date de publication :
19 juil. 2018
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
USA
This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical applications (e.g., automotive), where failures are unacceptable.