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

MARC

LEADER 00000cam a2200000Ii 4500
001 100015
003 CZ-ZlUTB
005 20210422133709.0
006 m o d
007 cr cnu|||unuuu
008 170419s2017 nyu fo 001 0 eng d
999 |c 100015  |d 100015 
020 |a 9781461422662  |q (electronic bk.) 
020 |z 9781461422655  |q (print) 
024 7 |a 10.1007/978-1-4614-2266-2  |2 doi 
035 |a (OCoLC)982957879  |z (OCoLC)983565628  |z (OCoLC)983964788  |z (OCoLC)988387384  |z (OCoLC)999416626  |z (OCoLC)1005756522  |z (OCoLC)1011849318  |z (OCoLC)1048175804  |z (OCoLC)1066430458  |z (OCoLC)1086501924  |z (OCoLC)1112594896  |z (OCoLC)1113446671  |z (OCoLC)1113644235  |z (OCoLC)1117213058  |z (OCoLC)1122847572  |z (OCoLC)1127176265 
040 |a N$T  |b eng  |e rda  |e pn  |c N$T  |d EBLCP  |d N$T  |d GW5XE  |d OCLCF  |d YDX  |d UAB  |d MERER  |d ESU  |d AZU  |d UPM  |d IOG  |d COO  |d OCLCQ  |d OTZ  |d VT2  |d OCLCQ  |d U3W  |d CAUOI  |d KSU  |d EZ9  |d INT  |d WYU  |d OCLCQ  |d UKMGB  |d OCLCQ  |d ERF  |d UKBTH  |d LEATE  |d OCLCQ 
072 7 |a 004.4/.6  |x Programování. Software  |2 Konspekt  |9 23 
080 |a 004.031.6  |2 MRF 
080 |a 004.4  |2 MRF 
080 |a 004.42  |2 MRF 
080 |a 004.416.2  |2 MRF 
080 |a 004.052.42  |2 MRF 
080 |a (0.034.2:08)  |2 MRF 
080 |a (082)  |2 MRF 
245 0 0 |a Embedded software verification and debugging /  |c Djones Lettnin, Markus Winterholer, editors. 
264 1 |a New York, NY :  |b Springer,  |c 2017. 
300 |a 1 online resource 
336 |a text  |b txt  |2 rdacontent 
337 |a počítač  |b c  |2 rdamedia 
338 |a online zdroj  |b cr  |2 rdacarrier 
490 1 |a Embedded systems 
504 |a Includes bibliographical references and index. 
506 |a 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 
520 |a 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 
590 |a SpringerLink  |b Springer Complete eBooks 
650 0 7 |a vestavěné systémy  |2 czenas  |7 ph348267 
650 0 7 |a software  |2 czenas  |7 ph125823 
650 0 7 |a počítačové programy  |2 czenas  |7 ph124516 
650 0 7 |a ladění softwaru  |2 czenas  |7 ph249423 
650 0 7 |a formální verifikace  |2 czenas  |7 ph755479 
650 0 9 |a embedded systems  |2 eczenas 
650 0 9 |a software  |2 eczenas 
650 0 9 |a computer program  |2 eczenas 
650 0 9 |a software debugging  |2 eczenas 
650 0 9 |a formal verification  |2 eczenas 
655 7 |a elektronické knihy  |7 fd186907  |2 czenas 
655 7 |a sborníky  |7 fd163935   |2 czenas 
655 9 |a electronic books  |2 eczenas 
655 9 |a papers of several authors  |2 eczenas 
700 1 |a Lettnin, Djones,  |e editor. 
700 1 |a Winterholer, Markus,  |e editor. 
776 0 8 |i Printed edition:  |z 9781461422655 
830 0 |a Embedded systems (Springer (Firm)) 
856 4 0 |u https://proxy.k.utb.cz/login?url=https://link.springer.com/10.1007/978-1-4614-2266-2  |y Plný text 
942 |2 udc 
992 |c NTK-SpringerENG 

Similar Items