@article{780917, recid = {780917}, author = {Lettnin, Djones, and Winterholer, Markus,}, title = {Embedded software verification and debugging /}, pages = {1 online resource.}, abstract = {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.}, url = {http://library.usi.edu/record/780917}, }