Verfügbarkeit: Languages, design methods, and tools for electronic system design

Languages, design methods, and tools for electronic system design: selected contributions from FDL 2015

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	Forum on Specification and Design Languages Barcelona (VerfasserIn)
Weitere beteiligte Personen:	Drechsler, Rolf 1969- (HerausgeberIn), Wille, Robert (HerausgeberIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	Englisch
Veröffentlicht:	Cham Springer [2016]
Schriftenreihe:	Lecture notes in electrical engineering volume 385 (2016)
Schlagwörter:	Engineering Microprocessors Electronics Microelectronics Electronic circuits Circuits and Systems Processor Architectures Electronics and Microelectronics, Instrumentation Ingenieurwissenschaften Konferenzschrift
Links:	https://doi.org/10.1007/978-3-319-31723-6 https://doi.org/10.1007/978-3-319-31723-6 https://doi.org/10.1007/978-3-319-31723-6 https://doi.org/10.1007/978-3-319-31723-6 https://doi.org/10.1007/978-3-319-31723-6 https://doi.org/10.1007/978-3-319-31723-6 https://doi.org/10.1007/978-3-319-31723-6 https://doi.org/10.1007/978-3-319-31723-6 https://doi.org/10.1007/978-3-319-31723-6 https://doi.org/10.1007/978-3-319-31723-6 https://doi.org/10.1007/978-3-319-31723-6 https://doi.org/10.1007/978-3-319-31723-6 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
Umfang:	1 Online-Ressource (viii, 193 Seiten)
ISBN:	9783319317236
DOI:	10.1007/978-3-319-31723-6

Internformat

MARC


LEADER	00000nam a2200000zcb4500
001	BV043579072
003	DE-604
005	20161103
007	cr\|uuu---uuuuu
008	160601s2016 xx o\|\|\|\| 10\|\|\| 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
943	1		\|a oai:aleph.bib-bvb.de:BVB01-028993745
966	e		\|u https://doi.org/10.1007/978-3-319-31723-6 \|l DE-634 \|p ZDB-2-ENG \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-31723-6 \|l DE-1043 \|p ZDB-2-ENG \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-31723-6 \|l DE-1046 \|p ZDB-2-ENG \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-31723-6 \|l DE-Aug4 \|p ZDB-2-ENG \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-31723-6 \|l DE-573 \|p ZDB-2-ENG \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-31723-6 \|l DE-92 \|p ZDB-2-ENG \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-31723-6 \|l DE-898 \|p ZDB-2-ENG \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-31723-6 \|l DE-859 \|p ZDB-2-ENG \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-31723-6 \|l DE-861 \|p ZDB-2-ENG \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-31723-6 \|l DE-863 \|p ZDB-2-ENG \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-31723-6 \|l DE-862 \|p ZDB-2-ENG \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-31723-6 \|l DE-706 \|p ZDB-2-ENG \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1819254969252970496
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>03606nam a2200673zcb4500</leader><controlfield tag="001">BV043579072</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20161103 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">160601s2016 xx o\|\|\|\| 10\|\|\| 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="943" ind1="1" 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">DE-634</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">DE-1043</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">DE-1046</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">DE-Aug4</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">DE-573</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">DE-92</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">DE-898</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">DE-859</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">DE-861</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">DE-863</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">DE-862</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">DE-706</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-12-20T17:39:59Z
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

Verfügbarkeit

‌

Inhaltsverzeichnis