Embedded software verification and debugging

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.- Resumé vydavatel

Saved in:
Bibliographic Details
Other Authors Lettnin, Djones (Editor), Winterholer, Markus (Editor)
Format Electronic eBook
LanguageEnglish
Published New York, NY : Springer, 2017.
SeriesEmbedded systems (Springer (Firm))
Subjects
vestavěné systémy
software
počítačové programy
ladění softwaru
formální verifikace
embedded systems
computer program
software debugging
formal verification
elektronické knihy
sborníky
electronic books
papers of several authors
Online AccessPlný text

Cover

More Information
Summary: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.- Resumé vydavatel
Physical Description:1 online resource
Bibliography:Includes bibliographical references and index.
ISBN:9781461422662
9781461422655
Access:Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty

Similar Items