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:
| Other Authors | , |
|---|---|
| Format | Electronic eBook |
| Language | English |
| Published |
New York, NY :
Springer,
2017.
|
| Series | Embedded systems (Springer (Firm))
|
| Subjects | |
| Online Access | Full text |
| ISBN | 9781461422662 9781461422655 |
| Physical Description | 1 online resource |
Cover
| LEADER | 00000cam a2200000Ii 4500 | ||
|---|---|---|---|
| 001 | 100015 | ||
| 003 | CZ-ZlUTB | ||
| 005 | 20251008112005.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 |
| 942 | |2 udc | ||
| 992 | |c NTK-SpringerENG | ||
| 993 | |x NEPOSILAT |y EIZ | ||