Languages, design methods, and tools for electronic system design: selected contributions from FDL 2014
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 361 (2016) |
Schlagworte: | |
Online-Zugang: | BTU01 FAB01 FAW01 FHA01 FHI01 FHN01 FHR01 FKE01 FRO01 FWS01 FWS02 UBY01 URL des Erstveröffentlichers Inhaltsverzeichnis Abstract |
Beschreibung: | 1 Online Ressource (vi, 205 Seiten) |
ISBN: | 9783319244570 |
DOI: | 10.1007/978-3-319-24457-0 |
Internformat
MARC
LEADER | 00000nmm a2200000zcb4500 | ||
---|---|---|---|
001 | BV043212043 | ||
003 | DE-604 | ||
005 | 20161103 | ||
006 | a |||| 10||| | ||
007 | cr|uuu---uuuuu | ||
008 | 151215s2016 |||| o||u| ||||||eng d | ||
020 | |a 9783319244570 |c Online |9 978-3-319-24457-0 | ||
024 | 7 | |a 10.1007/978-3-319-24457-0 |2 doi | |
035 | |a (OCoLC)934182140 | ||
035 | |a (DE-599)BVBBV043212043 | ||
040 | |a DE-604 |b ger |e rda | ||
041 | 0 | |a eng | |
049 | |a DE-1043 |a DE-Aug4 |a DE-573 |a DE-859 |a DE-863 |a DE-92 |a DE-862 |a DE-898 |a DE-634 |a DE-1046 |a DE-861 |a DE-706 | ||
082 | 0 | |a 621.3815 |2 23 | |
111 | 2 | |a FDL |n 17. |d 2014 |c München |j Verfasser |0 (DE-588)1081564296 |4 aut | |
245 | 1 | 0 | |a Languages, design methods, and tools for electronic system design |b selected contributions from FDL 2014 |c Frank Oppenheimer, Julio Luis Medina Pasaje editors |
264 | 1 | |a Cham |b Springer |c [2016] | |
264 | 4 | |c © 2016 | |
300 | |a 1 Online Ressource (vi, 205 Seiten) | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
490 | 1 | |a Lecture notes in electrical engineering |v volume 361 (2016) | |
650 | 4 | |a Engineering | |
650 | 4 | |a Computer hardware | |
650 | 4 | |a Electronics | |
650 | 4 | |a Microelectronics | |
650 | 4 | |a Electronic circuits | |
650 | 4 | |a Circuits and Systems | |
650 | 4 | |a Electronics and Microelectronics, Instrumentation | |
650 | 4 | |a Computer Hardware | |
650 | 4 | |a Ingenieurwissenschaften | |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
700 | 1 | |a Oppenheimer, Frank |4 edt | |
700 | 1 | |a Medina Pasaje, Julio Luis |4 edt | |
776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-3-319-24455-6 |
830 | 0 | |a Lecture notes in electrical engineering |v volume 361 (2016) |w (DE-604)BV042385829 |9 361 | |
856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-24457-0 |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=028635181&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=028635181&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-028635181 | ||
966 | e | |u https://doi.org/10.1007/978-3-319-24457-0 |l BTU01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-24457-0 |l FAB01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-24457-0 |l FAW01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-24457-0 |l FHA01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-24457-0 |l FHI01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-24457-0 |l FHN01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-24457-0 |l FHR01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-24457-0 |l FKE01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-24457-0 |l FRO01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-24457-0 |l FWS01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-24457-0 |l FWS02 |p ZDB-2-ENG |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-24457-0 |l UBY01 |p ZDB-2-ENG |x Verlag |3 Volltext |
Datensatz im Suchindex
DE-BY-FWS_katkey | 591027 |
---|---|
_version_ | 1824554493131358208 |
adam_text | LANGUAGES, DESIGN METHODS, AND TOOLS FOR ELECTRONIC SYSTEM DESIGN
/
: 2016
TABLE OF CONTENTS / INHALTSVERZEICHNIS
FORMAL MODELS & VERIFICATION & PREDICTABILITY
LANGUAGES FOR REQUIREMENTS
PARALLEL ARCHITECTURES
MODELLING AND VERIFICATION OF POWER PROPERTIES
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
SEVENTEENTH EDITION OF THE FORUM ON SPECIFICATION AND DESIGN LANGUAGES
CONFERENCE (FDL), WHICH TOOK PLACE ON OCTOBER 14-16, 2014, IN MUNICH,
GERMANY. 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; •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); •COVERS
PARALLEL ARCHITECTURES – BOTH AS PLATFORMS FOR EMBEDDED SYSTEMS AND
FOR EFFICIENT SIMULATION; •INCLUDES MODELING AND ANALYSIS APPROACHES
FOR TRENDING TOPICS SUCH AS NATURAL LANGUAGE PROCESSING, POWER
EFFICIENCY AND PREDICTABLE SYSTEMS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
any_adam_object | 1 |
author2 | Oppenheimer, Frank Medina Pasaje, Julio Luis |
author2_role | edt edt |
author2_variant | f o fo p j l m pjl pjlm |
author_corporate | FDL München |
author_corporate_role | aut |
author_facet | Oppenheimer, Frank Medina Pasaje, Julio Luis FDL München |
author_sort | FDL München |
building | Verbundindex |
bvnumber | BV043212043 |
collection | ZDB-2-ENG |
ctrlnum | (OCoLC)934182140 (DE-599)BVBBV043212043 |
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-24457-0 |
format | Electronic Conference Proceeding eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03617nmm a2200685zcb4500</leader><controlfield tag="001">BV043212043</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">151215s2016 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319244570</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-24457-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-24457-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)934182140</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043212043</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-1043</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-706</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">FDL</subfield><subfield code="n">17.</subfield><subfield code="d">2014</subfield><subfield code="c">München</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1081564296</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 2014</subfield><subfield code="c">Frank Oppenheimer, Julio Luis Medina Pasaje 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 (vi, 205 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="1" ind2=" "><subfield code="a">Lecture notes in electrical engineering</subfield><subfield code="v">volume 361 (2016)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer hardware</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">Electronics and Microelectronics, Instrumentation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Hardware</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">Oppenheimer, Frank</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Medina Pasaje, Julio Luis</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-24455-6</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in electrical engineering</subfield><subfield code="v">volume 361 (2016)</subfield><subfield code="w">(DE-604)BV042385829</subfield><subfield code="9">361</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-24457-0</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=028635181&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=028635181&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-028635181</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-24457-0</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-24457-0</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-24457-0</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-24457-0</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-24457-0</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-24457-0</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-24457-0</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-24457-0</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-24457-0</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-24457-0</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-24457-0</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-24457-0</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.BV043212043 |
illustrated | Not Illustrated |
indexdate | 2025-02-20T06:52:38Z |
institution | BVB |
institution_GND | (DE-588)1081564296 |
isbn | 9783319244570 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028635181 |
oclc_num | 934182140 |
open_access_boolean | |
owner | DE-1043 DE-Aug4 DE-573 DE-859 DE-863 DE-BY-FWS DE-92 DE-862 DE-BY-FWS DE-898 DE-BY-UBR DE-634 DE-1046 DE-861 DE-706 |
owner_facet | DE-1043 DE-Aug4 DE-573 DE-859 DE-863 DE-BY-FWS DE-92 DE-862 DE-BY-FWS DE-898 DE-BY-UBR DE-634 DE-1046 DE-861 DE-706 |
physical | 1 Online Ressource (vi, 205 Seiten) |
psigel | ZDB-2-ENG ZDB-2-ENG_2016 |
publishDate | 2016 |
publishDateSearch | 2016 |
publishDateSort | 2016 |
publisher | Springer |
record_format | marc |
series | Lecture notes in electrical engineering |
series2 | Lecture notes in electrical engineering |
spellingShingle | Languages, design methods, and tools for electronic system design selected contributions from FDL 2014 Lecture notes in electrical engineering Engineering Computer hardware Electronics Microelectronics Electronic circuits Circuits and Systems Electronics and Microelectronics, Instrumentation Computer Hardware Ingenieurwissenschaften |
subject_GND | (DE-588)1071861417 |
title | Languages, design methods, and tools for electronic system design selected contributions from FDL 2014 |
title_auth | Languages, design methods, and tools for electronic system design selected contributions from FDL 2014 |
title_exact_search | Languages, design methods, and tools for electronic system design selected contributions from FDL 2014 |
title_full | Languages, design methods, and tools for electronic system design selected contributions from FDL 2014 Frank Oppenheimer, Julio Luis Medina Pasaje editors |
title_fullStr | Languages, design methods, and tools for electronic system design selected contributions from FDL 2014 Frank Oppenheimer, Julio Luis Medina Pasaje editors |
title_full_unstemmed | Languages, design methods, and tools for electronic system design selected contributions from FDL 2014 Frank Oppenheimer, Julio Luis Medina Pasaje 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 2014 |
title_sub | selected contributions from FDL 2014 |
topic | Engineering Computer hardware Electronics Microelectronics Electronic circuits Circuits and Systems Electronics and Microelectronics, Instrumentation Computer Hardware Ingenieurwissenschaften |
topic_facet | Engineering Computer hardware Electronics Microelectronics Electronic circuits Circuits and Systems Electronics and Microelectronics, Instrumentation Computer Hardware Ingenieurwissenschaften Konferenzschrift |
url | https://doi.org/10.1007/978-3-319-24457-0 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028635181&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=028635181&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV042385829 |
work_keys_str_mv | AT fdlmunchen languagesdesignmethodsandtoolsforelectronicsystemdesignselectedcontributionsfromfdl2014 AT oppenheimerfrank languagesdesignmethodsandtoolsforelectronicsystemdesignselectedcontributionsfromfdl2014 AT medinapasajejulioluis languagesdesignmethodsandtoolsforelectronicsystemdesignselectedcontributionsfromfdl2014 |