Automatic methods for the refinement of system models: from the specification to the implementation
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cham
Springer
[2017]
|
| Series: | SpringerBriefs in electrical and computer engineering
|
| Subjects: | |
| Online Access: | BTU01 FAB01 FAW01 FHA01 FHI01 FHN01 FHR01 FKE01 FLA01 FRO01 FWS01 FWS02 TUM01 UBY01 Volltext |
| Physical Description: | 1 Online-Ressource (viii, 94 Seiten) Illustrationen |
| ISBN: | 9783319414805 |
| ISSN: | 2191-8120 |
| DOI: | 10.1007/978-3-319-41480-5 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043862191 | ||
| 003 | DE-604 | ||
| 005 | 20221012 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 161107s2017 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319414805 |c Online |9 978-3-319-41480-5 | ||
| 024 | 7 | |a 10.1007/978-3-319-41480-5 |2 doi | |
| 035 | |a (ZDB-2-ENG)9783319414805 | ||
| 035 | |a (OCoLC)954925079 | ||
| 035 | |a (DE-599)BVBBV043862191 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-859 |a DE-1046 |a DE-860 |a DE-898 |a DE-706 |a DE-92 |a DE-1043 |a DE-91 |a DE-634 |a DE-Aug4 |a DE-861 |a DE-863 |a DE-862 |a DE-573 | ||
| 082 | 0 | |a 621.3815 |2 23 | |
| 084 | |a ELT 000 |2 stub | ||
| 084 | |a MAS 000 |2 stub | ||
| 100 | 1 | |a Seiter, Julia |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Automatic methods for the refinement of system models |b from the specification to the implementation |c Julia Seiter, Robert Wille, Rolf Drechsler |
| 264 | 1 | |a Cham |b Springer |c [2017] | |
| 300 | |a 1 Online-Ressource (viii, 94 Seiten) |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a SpringerBriefs in electrical and computer engineering |x 2191-8120 | |
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Microprocessors | |
| 650 | 4 | |a Electronics | |
| 650 | 4 | |a Microelectronics | |
| 650 | 4 | |a Electronic circuits | |
| 650 | 4 | |a Circuits and Systems | |
| 650 | 4 | |a Processor Architectures | |
| 650 | 4 | |a Electronics and Microelectronics, Instrumentation | |
| 650 | 4 | |a Ingenieurwissenschaften | |
| 700 | 1 | |a Wille, Robert |e Verfasser |0 (DE-588)140485236 |4 aut | |
| 700 | 1 | |a Drechsler, Rolf |e Verfasser |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-319-41479-9 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-41480-5 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-ENG | ||
| 940 | 1 | |q ZDB-2-ENG_2017 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029272265 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-319-41480-5 |l BTU01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-41480-5 |l FAB01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-41480-5 |l FAW01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-41480-5 |l FHA01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-41480-5 |l FHI01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-41480-5 |l FHN01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-41480-5 |l FHR01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-41480-5 |l FKE01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-41480-5 |l FLA01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-41480-5 |l FRO01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-41480-5 |l FWS01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-41480-5 |l FWS02 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-41480-5 |l TUM01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-41480-5 |l UBY01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
Record in the Search Index
| DE-BY-FWS_katkey | 630435 |
|---|---|
| _version_ | 1824554547370000384 |
| any_adam_object | |
| author | Seiter, Julia Wille, Robert Drechsler, Rolf |
| author_GND | (DE-588)140485236 |
| author_facet | Seiter, Julia Wille, Robert Drechsler, Rolf |
| author_role | aut aut aut |
| author_sort | Seiter, Julia |
| author_variant | j s js r w rw r d rd |
| building | Verbundindex |
| bvnumber | BV043862191 |
| classification_tum | ELT 000 MAS 000 |
| collection | ZDB-2-ENG |
| ctrlnum | (ZDB-2-ENG)9783319414805 (OCoLC)954925079 (DE-599)BVBBV043862191 |
| dewey-full | 621.3815 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 621 - Applied physics |
| dewey-raw | 621.3815 |
| dewey-search | 621.3815 |
| dewey-sort | 3621.3815 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Elektrotechnik Elektrotechnik / Elektronik / Nachrichtentechnik Maschinenbau |
| doi_str_mv | 10.1007/978-3-319-41480-5 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03207nmm a2200673zc 4500</leader><controlfield tag="001">BV043862191</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20221012 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">161107s2017 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319414805</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-41480-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-41480-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-ENG)9783319414805</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)954925079</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043862191</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-859</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-1043</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-573</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">621.3815</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ELT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAS 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Seiter, Julia</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automatic methods for the refinement of system models</subfield><subfield code="b">from the specification to the implementation</subfield><subfield code="c">Julia Seiter, Robert Wille, Rolf Drechsler</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2017]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (viii, 94 Seiten)</subfield><subfield code="b">Illustrationen</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="490" ind1="0" ind2=" "><subfield code="a">SpringerBriefs in electrical and computer engineering</subfield><subfield code="x">2191-8120</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Microprocessors</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Microelectronics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic circuits</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Circuits and Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Processor Architectures</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronics and Microelectronics, Instrumentation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wille, Robert</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)140485236</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Drechsler, Rolf</subfield><subfield code="e">Verfasser</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-319-41479-9</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-41480-5</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-ENG</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-ENG_2017</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029272265</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-41480-5</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-ENG</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-319-41480-5</subfield><subfield code="l">FAB01</subfield><subfield code="p">ZDB-2-ENG</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-319-41480-5</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-2-ENG</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-319-41480-5</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-2-ENG</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-319-41480-5</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-ENG</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-319-41480-5</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-ENG</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-319-41480-5</subfield><subfield code="l">FHR01</subfield><subfield code="p">ZDB-2-ENG</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-319-41480-5</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-ENG</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-319-41480-5</subfield><subfield code="l">FLA01</subfield><subfield code="p">ZDB-2-ENG</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-319-41480-5</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-ENG</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-319-41480-5</subfield><subfield code="l">FWS01</subfield><subfield code="p">ZDB-2-ENG</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-319-41480-5</subfield><subfield code="l">FWS02</subfield><subfield code="p">ZDB-2-ENG</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-319-41480-5</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-ENG</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-319-41480-5</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043862191 |
| illustrated | Not Illustrated |
| indexdate | 2025-02-20T06:53:30Z |
| institution | BVB |
| isbn | 9783319414805 |
| issn | 2191-8120 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029272265 |
| oclc_num | 954925079 |
| open_access_boolean | |
| owner | DE-859 DE-1046 DE-860 DE-898 DE-BY-UBR DE-706 DE-92 DE-1043 DE-91 DE-BY-TUM DE-634 DE-Aug4 DE-861 DE-863 DE-BY-FWS DE-862 DE-BY-FWS DE-573 |
| owner_facet | DE-859 DE-1046 DE-860 DE-898 DE-BY-UBR DE-706 DE-92 DE-1043 DE-91 DE-BY-TUM DE-634 DE-Aug4 DE-861 DE-863 DE-BY-FWS DE-862 DE-BY-FWS DE-573 |
| physical | 1 Online-Ressource (viii, 94 Seiten) Illustrationen |
| psigel | ZDB-2-ENG ZDB-2-ENG_2017 |
| publishDate | 2017 |
| publishDateSearch | 2017 |
| publishDateSort | 2017 |
| publisher | Springer |
| record_format | marc |
| series2 | SpringerBriefs in electrical and computer engineering |
| spellingShingle | Seiter, Julia Wille, Robert Drechsler, Rolf Automatic methods for the refinement of system models from the specification to the implementation Engineering Microprocessors Electronics Microelectronics Electronic circuits Circuits and Systems Processor Architectures Electronics and Microelectronics, Instrumentation Ingenieurwissenschaften |
| title | Automatic methods for the refinement of system models from the specification to the implementation |
| title_auth | Automatic methods for the refinement of system models from the specification to the implementation |
| title_exact_search | Automatic methods for the refinement of system models from the specification to the implementation |
| title_full | Automatic methods for the refinement of system models from the specification to the implementation Julia Seiter, Robert Wille, Rolf Drechsler |
| title_fullStr | Automatic methods for the refinement of system models from the specification to the implementation Julia Seiter, Robert Wille, Rolf Drechsler |
| title_full_unstemmed | Automatic methods for the refinement of system models from the specification to the implementation Julia Seiter, Robert Wille, Rolf Drechsler |
| title_short | Automatic methods for the refinement of system models |
| title_sort | automatic methods for the refinement of system models from the specification to the implementation |
| title_sub | from the specification to the implementation |
| topic | Engineering Microprocessors Electronics Microelectronics Electronic circuits Circuits and Systems Processor Architectures Electronics and Microelectronics, Instrumentation Ingenieurwissenschaften |
| topic_facet | Engineering Microprocessors Electronics Microelectronics Electronic circuits Circuits and Systems Processor Architectures Electronics and Microelectronics, Instrumentation Ingenieurwissenschaften |
| url | https://doi.org/10.1007/978-3-319-41480-5 |
| work_keys_str_mv | AT seiterjulia automaticmethodsfortherefinementofsystemmodelsfromthespecificationtotheimplementation AT willerobert automaticmethodsfortherefinementofsystemmodelsfromthespecificationtotheimplementation AT drechslerrolf automaticmethodsfortherefinementofsystemmodelsfromthespecificationtotheimplementation |