Languages, design methods, and tools for electronic system design: selected contributions from FDL 2015
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2016]
|
| Schriftenreihe: | Lecture notes in electrical engineering
volume 385 (2016) |
| Schlagworte: | |
| Online-Zugang: | BTU01 FAB01 FAW01 FHA01 FHI01 FHN01 FHR01 FKE01 FRO01 FWS01 FWS02 UBY01 Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (viii, 193 Seiten) |
| ISBN: | 9783319317236 |
| DOI: | 10.1007/978-3-319-31723-6 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043579072 | ||
| 003 | DE-604 | ||
| 005 | 20161103 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 160601s2016 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319317236 |c Online |9 978-3-319-31723-6 | ||
| 024 | 7 | |a 10.1007/978-3-319-31723-6 |2 doi | |
| 035 | |a (ZDB-2-ENG)978-3-319-31723-6 | ||
| 035 | |a (OCoLC)951068065 | ||
| 035 | |a (DE-599)BVBBV043579072 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-1046 |a DE-1043 |a DE-Aug4 |a DE-898 |a DE-861 |a DE-573 |a DE-859 |a DE-863 |a DE-634 |a DE-862 |a DE-92 | ||
| 082 | 0 | |a 621.3815 |2 23 | |
| 111 | 2 | |a Forum on Specification and Design Languages |n 18. |d 2015 |c Barcelona |j Verfasser |0 (DE-588)1096774836 |4 aut | |
| 245 | 1 | 0 | |a Languages, design methods, and tools for electronic system design |b selected contributions from FDL 2015 |c Rolf Drechsler, Robert Wille editors |
| 264 | 1 | |a Cham |b Springer |c [2016] | |
| 264 | 4 | |c © 2016 | |
| 300 | |a 1 Online-Ressource (viii, 193 Seiten) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Lecture notes in electrical engineering |v volume 385 (2016) | |
| 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 | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Drechsler, Rolf |d 1969- |0 (DE-588)118011057 |4 edt | |
| 700 | 1 | |a Wille, Robert |0 (DE-588)140485236 |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-3-319-31722-9 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-31723-6 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028993745&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028993745&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-ENG | ||
| 940 | 1 | |q ZDB-2-ENG_2016 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028993745 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-319-31723-6 |l BTU01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-31723-6 |l FAB01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-31723-6 |l FAW01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-31723-6 |l FHA01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-31723-6 |l FHI01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-31723-6 |l FHN01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-31723-6 |l FHR01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-31723-6 |l FKE01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-31723-6 |l FRO01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-31723-6 |l FWS01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-31723-6 |l FWS02 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-31723-6 |l UBY01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
Datensatz im Suchindex
| DE-BY-FWS_katkey | 618535 |
|---|---|
| _version_ | 1806179755807997952 |
| adam_text | LANGUAGES, DESIGN METHODS, AND TOOLS FOR ELECTRONIC SYSTEM DESIGN
/
: 2016
TABLE OF CONTENTS / INHALTSVERZEICHNIS
INTRODUCTION
VIRTUAL HARDWARE-IN-THE-LOOP CO-SIMULATION FOR MULTI-DOMAIN AUTOMOTIVE
SYSTEMS VIA THE FUNCTIONAL MOCK-UP INTERFACE
STANDARD COMPLIANT CO-SIMULATION MODELS FOR VERIFICATION OF AUTOMOTIVE
EMBEDDED SYSTEMS
BUILDING A DYNAMICALLY RECONFIGURABLE SYSTEM THROUGH A HIGH-LEVEL
DEVELOPMENT FLOW
A SPECIAL-PURPOSE LANGUAGE FOR IMPLEMENTING PIPELINED FPGA-BASED
ACCELERATORS
ENABLER-BASED SYNCHRONIZER MODEL FOR CLOCK DOMAIN CROSSING STATIC
VERIFICATION
TEMPORAL DECOUPLING WITH ERROR-BOUNDED PREDICTIVE QUANTUM CONTROL
CONSERVATIVE BEHAVIOURAL MODELLING IN SYSTEMC-AMS
MODELING POWER CONSUMPTION AT SYSTEM-LEVEL FOR DESIGN OF POWER
INTEGRITY-AWARE AMS-CIRCUITS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
LANGUAGES, DESIGN METHODS, AND TOOLS FOR ELECTRONIC SYSTEM DESIGN
/
: 2016
ABSTRACT / INHALTSTEXT
THIS BOOK BRINGS TOGETHER A SELECTION OF THE BEST PAPERS FROM THE
EIGHTEENTH EDITION OF THE FORUM ON SPECIFICATION AND DESIGN LANGUAGES
CONFERENCE (FDL), WHICH TOOK PLACE ON SEPTEMBER 14-16, 2015, IN
BARCELONA, SPAIN. FDL IS A WELL-ESTABLISHED INTERNATIONAL FORUM DEVOTED
TO DISSEMINATION OF RESEARCH RESULTS, PRACTICAL EXPERIENCES AND NEW
IDEAS IN THE APPLICATION OF SPECIFICATION, DESIGN AND VERIFICATION
LANGUAGES TO THE DESIGN, MODELING AND VERIFICATION OF INTEGRATED
CIRCUITS, COMPLEX HARDWARE/SOFTWARE EMBEDDED SYSTEMS, AND
MIXED-TECHNOLOGY SYSTEMS. COVERS ASSERTION BASED DESIGN, VERIFICATION &
DEBUG; INCLUDES LANGUAGE-BASED MODELING AND DESIGN TECHNIQUES FOR
EMBEDDED SYSTEMS; COVERS DESIGN, MODELING AND VERIFICATION OF MIXED
PHYSICAL DOMAIN AND MIXED SIGNAL SYSTEMS THAT INCLUDE SIGNIFICANT ANALOG
PARTS IN ELECTRICAL AND NON-ELECTRICAL DOMAINS; INCLUDES FORMAL AND
SEMI-FORMAL SYSTEM LEVEL DESIGN METHODS FOR COMPLEX EMBEDDED SYSTEMS
BASED ON THE UNIFIED MODELLING LANGUAGE (UML) AND MODEL DRIVEN
ENGINEERING (MDE)
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author2 | Drechsler, Rolf 1969- Wille, Robert |
| author2_role | edt edt |
| author2_variant | r d rd r w rw |
| author_GND | (DE-588)118011057 (DE-588)140485236 |
| author_corporate | Forum on Specification and Design Languages Barcelona |
| author_corporate_role | aut |
| author_facet | Drechsler, Rolf 1969- Wille, Robert Forum on Specification and Design Languages Barcelona |
| author_sort | Forum on Specification and Design Languages Barcelona |
| building | Verbundindex |
| bvnumber | BV043579072 |
| collection | ZDB-2-ENG |
| ctrlnum | (ZDB-2-ENG)978-3-319-31723-6 (OCoLC)951068065 (DE-599)BVBBV043579072 |
| 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 / Elektronik / Nachrichtentechnik |
| doi_str_mv | 10.1007/978-3-319-31723-6 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03623nmm a2200685zcb4500</leader><controlfield tag="001">BV043579072</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20161103 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">160601s2016 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319317236</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-31723-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-31723-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-ENG)978-3-319-31723-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)951068065</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043579072</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">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</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-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">621.3815</subfield><subfield code="2">23</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Forum on Specification and Design Languages</subfield><subfield code="n">18.</subfield><subfield code="d">2015</subfield><subfield code="c">Barcelona</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1096774836</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Languages, design methods, and tools for electronic system design</subfield><subfield code="b">selected contributions from FDL 2015</subfield><subfield code="c">Rolf Drechsler, Robert Wille editors</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (viii, 193 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="490" ind1="0" ind2=" "><subfield code="a">Lecture notes in electrical engineering</subfield><subfield code="v">volume 385 (2016)</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Drechsler, Rolf</subfield><subfield code="d">1969-</subfield><subfield code="0">(DE-588)118011057</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wille, Robert</subfield><subfield code="0">(DE-588)140485236</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-3-319-31722-9</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-31723-6</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028993745&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028993745&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</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_2016</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028993745</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-31723-6</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-31723-6</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-31723-6</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-31723-6</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-31723-6</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-31723-6</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-31723-6</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-31723-6</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-31723-6</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-31723-6</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-31723-6</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-31723-6</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> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043579072 |
| illustrated | Not Illustrated |
| indexdate | 2024-08-01T12:14:03Z |
| institution | BVB |
| institution_GND | (DE-588)1096774836 |
| isbn | 9783319317236 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028993745 |
| oclc_num | 951068065 |
| open_access_boolean | |
| owner | DE-706 DE-1046 DE-1043 DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-573 DE-859 DE-863 DE-BY-FWS DE-634 DE-862 DE-BY-FWS DE-92 |
| owner_facet | DE-706 DE-1046 DE-1043 DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-573 DE-859 DE-863 DE-BY-FWS DE-634 DE-862 DE-BY-FWS DE-92 |
| physical | 1 Online-Ressource (viii, 193 Seiten) |
| psigel | ZDB-2-ENG ZDB-2-ENG_2016 |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Springer |
| record_format | marc |
| series2 | Lecture notes in electrical engineering |
| spellingShingle | Languages, design methods, and tools for electronic system design selected contributions from FDL 2015 Engineering Microprocessors Electronics Microelectronics Electronic circuits Circuits and Systems Processor Architectures Electronics and Microelectronics, Instrumentation Ingenieurwissenschaften |
| subject_GND | (DE-588)1071861417 |
| title | Languages, design methods, and tools for electronic system design selected contributions from FDL 2015 |
| title_auth | Languages, design methods, and tools for electronic system design selected contributions from FDL 2015 |
| title_exact_search | Languages, design methods, and tools for electronic system design selected contributions from FDL 2015 |
| title_full | Languages, design methods, and tools for electronic system design selected contributions from FDL 2015 Rolf Drechsler, Robert Wille editors |
| title_fullStr | Languages, design methods, and tools for electronic system design selected contributions from FDL 2015 Rolf Drechsler, Robert Wille editors |
| title_full_unstemmed | Languages, design methods, and tools for electronic system design selected contributions from FDL 2015 Rolf Drechsler, Robert Wille editors |
| title_short | Languages, design methods, and tools for electronic system design |
| title_sort | languages design methods and tools for electronic system design selected contributions from fdl 2015 |
| title_sub | selected contributions from FDL 2015 |
| 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 Konferenzschrift |
| url | https://doi.org/10.1007/978-3-319-31723-6 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028993745&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028993745&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT forumonspecificationanddesignlanguagesbarcelona languagesdesignmethodsandtoolsforelectronicsystemdesignselectedcontributionsfromfdl2015 AT drechslerrolf languagesdesignmethodsandtoolsforelectronicsystemdesignselectedcontributionsfromfdl2015 AT willerobert languagesdesignmethodsandtoolsforelectronicsystemdesignselectedcontributionsfromfdl2015 |