"Djones Lettnin, Markus Winterholer" <br/><br/>
Embedded Software Verification and Debugging 

 -  Springer  2017 
<br/><br/><label>ISBN: </label>978-1-4614-2266-2 
<br/><br/><label>Subjects--Topical Terms: </label><br/>"Engineering; Circuits and Systems; Processor Architectures; Electronics and Microelectronics, Instrumentation"