Languages, design methods, and tools for electronic system design: selected contributions from FDL 2013
Saved in:
| Other Authors: | |
|---|---|
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Cham [u.a.]
Springer
2015
|
| Series: | Lecture notes in electrical engineering
311 |
| Subjects: | |
| Online Access: | TUM01 Volltext Inhaltsverzeichnis Abstract |
| Physical Description: | Online-Ressource |
| ISBN: | 9783319063171 9783319063164 |
| DOI: | 10.1007/978-3-319-06317-1 |
Staff View
MARC
| LEADER | 00000nmm a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV042504613 | ||
| 003 | DE-604 | ||
| 005 | 20160801 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150415s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319063171 |c Online |9 978-3-319-06317-1 | ||
| 020 | |a 9783319063164 |c Print |9 978-3-319-06316-4 | ||
| 024 | 7 | |a 10.1007/978-3-319-06317-1 |2 doi | |
| 035 | |a (OCoLC)890052908 | ||
| 035 | |a (DE-599)BSZ416042996 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1043 |a DE-Aug4 |a DE-92 |a DE-634 |a DE-1046 |a DE-859 |a DE-863 |a DE-862 |a DE-898 |a DE-573 |a DE-861 |a DE-91 |a DE-706 | ||
| 082 | 0 | |a 004 | |
| 084 | |a MAS 000 |2 stub | ||
| 084 | |a ELT 000 |2 stub | ||
| 245 | 1 | 0 | |a Languages, design methods, and tools for electronic system design |b selected contributions from FDL 2013 |c Marie-Minerve Louërat ..., eds. |
| 264 | 1 | |a Cham [u.a.] |b Springer |c 2015 | |
| 300 | |a Online-Ressource | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in electrical engineering |v 311 | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Ingenieurwissenschaften | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Electronics | |
| 650 | 4 | |a Systems engineering | |
| 650 | 4 | |a Engineering | |
| 700 | 1 | |a Louërat, Marie-Minerve |4 edt | |
| 711 | 2 | |a FDL (Veranstaltung) |d 2013 |c Paris |j Sonstige |0 (DE-588)1068277297 |4 oth | |
| 830 | 0 | |a Lecture notes in electrical engineering |v 311 |w (DE-604)BV042385829 |9 311 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-06317-1 |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=027939271&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=027939271&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-ENG |a ZDB-26-MYL | ||
| 940 | 1 | |q TUM_PDA_MIL_gekauft | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027939271 | ||
| 966 | e | |u https://ebookcentral.proquest.com/lib/munchentech/detail.action?docID=1802658 |l TUM01 |p ZDB-26-MYL |q TUM_PDA_MIL_Kauf |x Aggregator |3 Volltext | |
Record in the Search Index
| DE-BY-FWS_katkey | 556665 |
|---|---|
| _version_ | 1824554421120401408 |
| adam_text | LANGUAGES, DESIGN METHODS, AND TOOLS FOR ELECTRONIC SYSTEM DESIGN
/
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
PART I APPLICATIONS OF FORMAL METHODS FOR SPECIFICATION AND VERIFICATION
OPTIMAL COMPONENT SELECTION FOR ENERGY-EFFICIENT SYSTEMS
ASSISTING REFINEMENT IN SYSTEM-ON-CHIP DESIGN
PART II EMBEDDED ANALOG AND MIXED-SIGNAL SYSTEM VERIFICATION
INTEGRATING CIRCUIT ANALYSES FOR ASSERTION-BASED VERIFICATION OF
PROGRAMMABLE AMS CIRCUITS
PART III EMBEDDED ANALOG AND MIXED-SIGNAL SYSTEM DESIGN
HYBRID DYNAMICAL SYSTEMS FOR MEMRISTOR MODELLING
CODE GENERATION ALTERNATIVES TO REDUCE HETEROGENEOUS EMBEDDED SYSTEMS
HOMOGENEITY
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
LANGUAGES, DESIGN METHODS, AND TOOLS FOR ELECTRONIC SYSTEM DESIGN
/
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK BRINGS TOGETHER A SELECTION OF THE BEST PAPERS FROM THE
SIXTEENTH EDITION OF THE FORUM ON SPECIFICATION AND DESIGN LANGUAGES
CONFERENCE (FDL), WHICH WAS HELD IN SEPTEMBER 2013 IN PARIS,
FRANCE.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 APPLICATIONS OF FORMAL METHODS FOR SPECIFICATION, VERIFICATION
AND DEBUG; • INCLUDES EMBEDDED ANALOG AND MIXED-SIGNAL SYSTEM DESIGN;
• ENABLES MODEL-DRIVEN ENGINEERING FOR EMBEDDED SYSTEMS DESIGN AND
DEVELOPMENT
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author2 | Louërat, Marie-Minerve |
| author2_role | edt |
| author2_variant | m m l mml |
| author_facet | Louërat, Marie-Minerve |
| building | Verbundindex |
| bvnumber | BV042504613 |
| classification_tum | MAS 000 ELT 000 |
| collection | ZDB-2-ENG ZDB-26-MYL |
| ctrlnum | (OCoLC)890052908 (DE-599)BSZ416042996 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Elektrotechnik Maschinenbau |
| doi_str_mv | 10.1007/978-3-319-06317-1 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02372nmm a2200505 cb4500</leader><controlfield tag="001">BV042504613</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160801 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150415s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319063171</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-06317-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319063164</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-06316-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-06317-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)890052908</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BSZ416042996</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-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAS 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ELT 000</subfield><subfield code="2">stub</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 2013</subfield><subfield code="c">Marie-Minerve Louërat ..., eds.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">Online-Ressource</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">311</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systems engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Louërat, Marie-Minerve</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FDL (Veranstaltung)</subfield><subfield code="d">2013</subfield><subfield code="c">Paris</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1068277297</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in electrical engineering</subfield><subfield code="v">311</subfield><subfield code="w">(DE-604)BV042385829</subfield><subfield code="9">311</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-06317-1</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=027939271&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=027939271&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><subfield code="a">ZDB-26-MYL</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">TUM_PDA_MIL_gekauft</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027939271</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://ebookcentral.proquest.com/lib/munchentech/detail.action?docID=1802658</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-26-MYL</subfield><subfield code="q">TUM_PDA_MIL_Kauf</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV042504613 |
| illustrated | Not Illustrated |
| indexdate | 2025-02-20T06:51:30Z |
| institution | BVB |
| institution_GND | (DE-588)1068277297 |
| isbn | 9783319063171 9783319063164 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027939271 |
| oclc_num | 890052908 |
| open_access_boolean | |
| owner | DE-1043 DE-Aug4 DE-92 DE-634 DE-1046 DE-859 DE-863 DE-BY-FWS DE-862 DE-BY-FWS DE-898 DE-BY-UBR DE-573 DE-861 DE-91 DE-BY-TUM DE-706 |
| owner_facet | DE-1043 DE-Aug4 DE-92 DE-634 DE-1046 DE-859 DE-863 DE-BY-FWS DE-862 DE-BY-FWS DE-898 DE-BY-UBR DE-573 DE-861 DE-91 DE-BY-TUM DE-706 |
| physical | Online-Ressource |
| psigel | ZDB-2-ENG ZDB-26-MYL TUM_PDA_MIL_gekauft ZDB-26-MYL TUM_PDA_MIL_Kauf |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| 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 2013 Lecture notes in electrical engineering Informatik Ingenieurwissenschaften Computer science Electronics Systems engineering Engineering |
| title | Languages, design methods, and tools for electronic system design selected contributions from FDL 2013 |
| title_auth | Languages, design methods, and tools for electronic system design selected contributions from FDL 2013 |
| title_exact_search | Languages, design methods, and tools for electronic system design selected contributions from FDL 2013 |
| title_full | Languages, design methods, and tools for electronic system design selected contributions from FDL 2013 Marie-Minerve Louërat ..., eds. |
| title_fullStr | Languages, design methods, and tools for electronic system design selected contributions from FDL 2013 Marie-Minerve Louërat ..., eds. |
| title_full_unstemmed | Languages, design methods, and tools for electronic system design selected contributions from FDL 2013 Marie-Minerve Louërat ..., eds. |
| 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 2013 |
| title_sub | selected contributions from FDL 2013 |
| topic | Informatik Ingenieurwissenschaften Computer science Electronics Systems engineering Engineering |
| topic_facet | Informatik Ingenieurwissenschaften Computer science Electronics Systems engineering Engineering |
| url | https://doi.org/10.1007/978-3-319-06317-1 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027939271&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=027939271&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV042385829 |
| work_keys_str_mv | AT loueratmarieminerve languagesdesignmethodsandtoolsforelectronicsystemdesignselectedcontributionsfromfdl2013 AT fdlveranstaltungparis languagesdesignmethodsandtoolsforelectronicsystemdesignselectedcontributionsfromfdl2013 |