Design für Testbarkeit, Fehlersuche und Zuverlässigkeit: Maßnahmen der nächsten Generation unter Verwendung formaler Techniken
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Electronic eBook |
| Language: | German |
| Published: |
Cham
Springer International Publishing
2023
Cham Springer Vieweg |
| Subjects: | |
| Online Access: | DE-522 DE-B768 DE-634 DE-526 DE-1043 DE-1102 DE-1046 DE-858 DE-1028 DE-Aug4 DE-1050 DE-573 DE-M347 DE-92 DE-1051 DE-898 DE-859 DE-860 DE-1049 DE-861 DE-863 DE-862 DE-523 DE-2070s DE-91 DE-19 DE-703 DE-20 DE-706 DE-29 Volltext |
| Physical Description: | 1 Online-Ressource (XXI, 180 Seiten) |
| ISBN: | 9783031453199 |
| DOI: | 10.1007/978-3-031-45319-9 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV049527650 | ||
| 003 | DE-604 | ||
| 005 | 20240213 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 240201s2023 |||| o||u| ||||||ger d | ||
| 020 | |a 9783031453199 |c Online |9 978-3-031-45319-9 | ||
| 024 | 7 | |a 10.1007/978-3-031-45319-9 |2 doi | |
| 035 | |a (ZDB-2-STI)9783031453199 | ||
| 035 | |a (OCoLC)1422455480 | ||
| 035 | |a (DE-599)BVBBV049527650 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-860 |a DE-19 |a DE-1028 |a DE-83 |a DE-858 |a DE-1046 |a DE-1043 |a DE-Aug4 |a DE-898 |a DE-861 |a DE-1049 |a DE-29 |a DE-20 |a DE-862 |a DE-92 |a DE-522 |a DE-706 |a DE-91 |a DE-B768 |a DE-188 |a DE-859 |a DE-523 |a DE-1050 |a DE-863 |a DE-1051 |a DE-2070s |a DE-573 |a DE-M347 |a DE-703 |a DE-1102 |a DE-634 |a DE-526 |a DE-11 | ||
| 082 | 0 | |a 006.22 |2 23 | |
| 084 | |a TEC 000 |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 100 | 1 | |a Huhn, Sebastian |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Design für Testbarkeit, Fehlersuche und Zuverlässigkeit |b Maßnahmen der nächsten Generation unter Verwendung formaler Techniken |c Sebastian Huhn, Rolf Drechsler |
| 264 | 1 | |a Cham |b Springer International Publishing |c 2023 | |
| 264 | 1 | |a Cham |b Springer Vieweg | |
| 300 | |a 1 Online-Ressource (XXI, 180 Seiten) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 650 | 4 | |a Embedded Systems | |
| 650 | 4 | |a Electronics Design and Verification | |
| 650 | 4 | |a Processor Architectures | |
| 650 | 4 | |a Embedded computer systems | |
| 650 | 4 | |a Electronic circuit design | |
| 650 | 4 | |a Microprocessors | |
| 650 | 4 | |a Computer architecture | |
| 700 | 1 | |a Drechsler, Rolf |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-031-45318-2 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-031-45319-9 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-STI | ||
| 940 | 1 | |q ZDB-2-STI_2023 | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-45319-9 |l DE-522 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-45319-9 |l DE-B768 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-45319-9 |l DE-634 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-45319-9 |l DE-526 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-45319-9 |l DE-1043 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-45319-9 |l DE-1102 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-45319-9 |l DE-1046 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-45319-9 |l DE-858 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-45319-9 |l DE-1028 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-45319-9 |l DE-Aug4 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-45319-9 |l DE-1050 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-45319-9 |l DE-573 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-45319-9 |l DE-M347 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-45319-9 |l DE-92 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-45319-9 |l DE-1051 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-45319-9 |l DE-898 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-45319-9 |l DE-859 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-45319-9 |l DE-860 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-45319-9 |l DE-1049 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-45319-9 |l DE-861 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-45319-9 |l DE-863 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-45319-9 |l DE-862 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-45319-9 |l DE-523 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-45319-9 |l DE-2070s |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-45319-9 |l DE-91 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-45319-9 |l DE-19 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-45319-9 |l DE-703 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-45319-9 |l DE-20 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-45319-9 |l DE-706 |p ZDB-2-STI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-45319-9 |l DE-29 |p ZDB-2-STI |x Verlag |3 Volltext | |
Record in the Search Index
| DE-BY-FWS_katkey | 1064843 |
|---|---|
| _version_ | 1824554430364647424 |
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Huhn, Sebastian Drechsler, Rolf |
| author_facet | Huhn, Sebastian Drechsler, Rolf |
| author_role | aut aut |
| author_sort | Huhn, Sebastian |
| author_variant | s h sh r d rd |
| building | Verbundindex |
| bvnumber | BV049527650 |
| classification_tum | TEC 000 DAT 000 |
| collection | ZDB-2-STI |
| ctrlnum | (ZDB-2-STI)9783031453199 (OCoLC)1422455480 (DE-599)BVBBV049527650 |
| dewey-full | 006.22 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.22 |
| dewey-search | 006.22 |
| dewey-sort | 16.22 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Technik Technik Informatik |
| discipline_str_mv | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-031-45319-9 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nmm a2200000zc 4500</leader><controlfield tag="001">BV049527650</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240213</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">240201s2023 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031453199</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-031-45319-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-031-45319-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-STI)9783031453199</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1422455480</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049527650</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-860</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-1028</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-1043</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-1049</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-B768</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-2070s</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-526</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.22</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Huhn, Sebastian</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Design für Testbarkeit, Fehlersuche und Zuverlässigkeit</subfield><subfield code="b">Maßnahmen der nächsten Generation unter Verwendung formaler Techniken</subfield><subfield code="c">Sebastian Huhn, Rolf Drechsler</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">2023</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer Vieweg</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XXI, 180 Seiten)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Embedded Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronics Design and Verification</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Processor Architectures</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Embedded computer systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic circuit design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Microprocessors</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer architecture</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Drechsler, Rolf</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-031-45318-2</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-031-45319-9</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-STI</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_2023</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-45319-9</subfield><subfield code="l">DE-522</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-45319-9</subfield><subfield code="l">DE-B768</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-45319-9</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-45319-9</subfield><subfield code="l">DE-526</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-45319-9</subfield><subfield code="l">DE-1043</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-45319-9</subfield><subfield code="l">DE-1102</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-45319-9</subfield><subfield code="l">DE-1046</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-45319-9</subfield><subfield code="l">DE-858</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-45319-9</subfield><subfield code="l">DE-1028</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-45319-9</subfield><subfield code="l">DE-Aug4</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-45319-9</subfield><subfield code="l">DE-1050</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-45319-9</subfield><subfield code="l">DE-573</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-45319-9</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-45319-9</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-45319-9</subfield><subfield code="l">DE-1051</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-45319-9</subfield><subfield code="l">DE-898</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-45319-9</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-45319-9</subfield><subfield code="l">DE-860</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-45319-9</subfield><subfield code="l">DE-1049</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-45319-9</subfield><subfield code="l">DE-861</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-45319-9</subfield><subfield code="l">DE-863</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-45319-9</subfield><subfield code="l">DE-862</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-45319-9</subfield><subfield code="l">DE-523</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-45319-9</subfield><subfield code="l">DE-2070s</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-45319-9</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-45319-9</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-45319-9</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-45319-9</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-45319-9</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-45319-9</subfield><subfield code="l">DE-29</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV049527650 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T23:26:23Z |
| indexdate | 2025-02-20T06:51:39Z |
| institution | BVB |
| isbn | 9783031453199 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034873375 |
| oclc_num | 1422455480 |
| open_access_boolean | |
| owner | DE-860 DE-19 DE-BY-UBM DE-1028 DE-83 DE-858 DE-1046 DE-1043 DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-1049 DE-29 DE-20 DE-862 DE-BY-FWS DE-92 DE-522 DE-706 DE-91 DE-BY-TUM DE-B768 DE-188 DE-859 DE-523 DE-1050 DE-863 DE-BY-FWS DE-1051 DE-2070s DE-573 DE-M347 DE-703 DE-1102 DE-634 DE-526 DE-11 |
| owner_facet | DE-860 DE-19 DE-BY-UBM DE-1028 DE-83 DE-858 DE-1046 DE-1043 DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-1049 DE-29 DE-20 DE-862 DE-BY-FWS DE-92 DE-522 DE-706 DE-91 DE-BY-TUM DE-B768 DE-188 DE-859 DE-523 DE-1050 DE-863 DE-BY-FWS DE-1051 DE-2070s DE-573 DE-M347 DE-703 DE-1102 DE-634 DE-526 DE-11 |
| physical | 1 Online-Ressource (XXI, 180 Seiten) |
| psigel | ZDB-2-STI ZDB-2-STI_2023 |
| publishDate | 2023 |
| publishDateSearch | 2023 |
| publishDateSort | 2023 |
| publisher | Springer International Publishing Springer Vieweg |
| record_format | marc |
| spellingShingle | Huhn, Sebastian Drechsler, Rolf Design für Testbarkeit, Fehlersuche und Zuverlässigkeit Maßnahmen der nächsten Generation unter Verwendung formaler Techniken Embedded Systems Electronics Design and Verification Processor Architectures Embedded computer systems Electronic circuit design Microprocessors Computer architecture |
| title | Design für Testbarkeit, Fehlersuche und Zuverlässigkeit Maßnahmen der nächsten Generation unter Verwendung formaler Techniken |
| title_auth | Design für Testbarkeit, Fehlersuche und Zuverlässigkeit Maßnahmen der nächsten Generation unter Verwendung formaler Techniken |
| title_exact_search | Design für Testbarkeit, Fehlersuche und Zuverlässigkeit Maßnahmen der nächsten Generation unter Verwendung formaler Techniken |
| title_exact_search_txtP | Design für Testbarkeit, Fehlersuche und Zuverlässigkeit Maßnahmen der nächsten Generation unter Verwendung formaler Techniken |
| title_full | Design für Testbarkeit, Fehlersuche und Zuverlässigkeit Maßnahmen der nächsten Generation unter Verwendung formaler Techniken Sebastian Huhn, Rolf Drechsler |
| title_fullStr | Design für Testbarkeit, Fehlersuche und Zuverlässigkeit Maßnahmen der nächsten Generation unter Verwendung formaler Techniken Sebastian Huhn, Rolf Drechsler |
| title_full_unstemmed | Design für Testbarkeit, Fehlersuche und Zuverlässigkeit Maßnahmen der nächsten Generation unter Verwendung formaler Techniken Sebastian Huhn, Rolf Drechsler |
| title_short | Design für Testbarkeit, Fehlersuche und Zuverlässigkeit |
| title_sort | design fur testbarkeit fehlersuche und zuverlassigkeit maßnahmen der nachsten generation unter verwendung formaler techniken |
| title_sub | Maßnahmen der nächsten Generation unter Verwendung formaler Techniken |
| topic | Embedded Systems Electronics Design and Verification Processor Architectures Embedded computer systems Electronic circuit design Microprocessors Computer architecture |
| topic_facet | Embedded Systems Electronics Design and Verification Processor Architectures Embedded computer systems Electronic circuit design Microprocessors Computer architecture |
| url | https://doi.org/10.1007/978-3-031-45319-9 |
| work_keys_str_mv | AT huhnsebastian designfurtestbarkeitfehlersucheundzuverlassigkeitmaßnahmendernachstengenerationunterverwendungformalertechniken AT drechslerrolf designfurtestbarkeitfehlersucheundzuverlassigkeitmaßnahmendernachstengenerationunterverwendungformalertechniken |