Verfügbarkeit: Correct hardware design and verification methods

Correct hardware design and verification methods: 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3 - 6, 2005 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2005
Schriftenreihe:	Lecture notes in computer science 3725
Schlagworte:	Entwurfssprache Entwurfsautomation Model Checking Hardwareentwurf Hardwareverifikation System-on-Chip Schaltungsentwurf Formale Methode Konferenzschrift
Online-Zugang:	BTU01 FHM01 TUM01 UBA01 UBG01 UBM01 UBY01 UPA01 Volltext
Beschreibung:	Literaturangaben
Beschreibung:	1 Online-Ressource (XII, 412 S.) graph. Darst.
ISBN:	3540291059 9783540291053
DOI:	10.1007/11560548

Internformat

MARC


LEADER	00000nmm a2200000zcb4500
001	BV022302406
003	DE-604
005	20080430
006	a \|\|\|\| 10\|\|\|
007	cr\|uuu---uuuuu
008	070308s2005 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 3540291059 \|9 3-540-29105-9
020			\|a 9783540291053 \|9 978-3-540-29105-3
024	7		\|a 10.1007/11560548 \|2 doi
035			\|a (OCoLC)254613288
035			\|a (DE-599)BVBBV022302406
040			\|a DE-604 \|b ger
041	0		\|a eng
049			\|a DE-473 \|a DE-739 \|a DE-706 \|a DE-19 \|a DE-91 \|a DE-384 \|a DE-M347 \|a DE-634
082	0		\|a 621.395
084			\|a SS 4800 \|0 (DE-625)143528: \|2 rvk
084			\|a DAT 000 \|2 stub
245	1	0	\|a Correct hardware design and verification methods \|b 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3 - 6, 2005 ; proceedings
264		1	\|a Berlin [u.a.] \|b Springer \|c 2005
300			\|a 1 Online-Ressource (XII, 412 S.) \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 3725
500			\|a Literaturangaben
650	0	7	\|a Entwurfssprache \|0 (DE-588)4295335-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Entwurfsautomation \|0 (DE-588)4312536-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Model Checking \|0 (DE-588)4434799-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Hardwareentwurf \|0 (DE-588)4159103-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Hardwareverifikation \|0 (DE-588)4214982-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a System-on-Chip \|0 (DE-588)4740357-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Schaltungsentwurf \|0 (DE-588)4179389-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|2 gnd-content
689	0	0	\|a Schaltungsentwurf \|0 (DE-588)4179389-4 \|D s
689	0		\|5 DE-604
689	1	0	\|a System-on-Chip \|0 (DE-588)4740357-3 \|D s
689	1	1	\|a Entwurfsautomation \|0 (DE-588)4312536-0 \|D s
689	1	2	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	1		\|8 1\p \|5 DE-604
689	2	0	\|a Hardwareverifikation \|0 (DE-588)4214982-4 \|D s
689	2	1	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	2		\|8 2\p \|5 DE-604
689	3	0	\|a Hardwareentwurf \|0 (DE-588)4159103-3 \|D s
689	3	1	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	3		\|8 3\p \|5 DE-604
689	4	0	\|a Model Checking \|0 (DE-588)4434799-6 \|D s
689	4		\|8 4\p \|5 DE-604
689	5	0	\|a Entwurfssprache \|0 (DE-588)4295335-2 \|D s
689	5		\|8 5\p \|5 DE-604
700	1		\|a Borrione, Dominique \|e Sonstige \|4 oth
710	2		\|a International Federation for Information Processing \|b Working Group Digital Systems Descriptions and Design Tools \|e Sonstige \|0 (DE-588)2101503-X \|4 oth
710	2		\|a International Federation for Information Processing \|b Working Group Very Large Scale Integration \|e Sonstige \|0 (DE-588)307182-0 \|4 oth
711	2		\|a CHARME \|n 13 \|d 2005 \|c Saarbrücken \|j Sonstige \|0 (DE-588)10115824-5 \|4 oth
830		0	\|a Lecture notes in computer science \|v 3725 \|w (DE-604)BV014880109 \|9 3725
856	4	0	\|u https://doi.org/10.1007/11560548 \|x Verlag \|3 Volltext
912			\|a ZDB-2-SCS
999			\|a oai:aleph.bib-bvb.de:BVB01-015512378
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 2\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 3\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 4\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 5\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
966	e		\|u https://doi.org/10.1007/11560548 \|l BTU01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11560548 \|l FHM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11560548 \|l TUM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11560548 \|l UBA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11560548 \|l UBG01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11560548 \|l UBM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11560548 \|l UBY01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11560548 \|l UPA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1804136320652541952
adam_txt
any_adam_object
any_adam_object_boolean
building	Verbundindex
bvnumber	BV022302406
classification_rvk	SS 4800
classification_tum	DAT 000
collection	ZDB-2-SCS
ctrlnum	(OCoLC)254613288 (DE-599)BVBBV022302406
dewey-full	621.395
dewey-hundreds	600 - Technology (Applied sciences)
dewey-ones	621 - Applied physics
dewey-raw	621.395
dewey-search	621.395
dewey-sort	3621.395
dewey-tens	620 - Engineering and allied operations
discipline	Informatik Elektrotechnik / Elektronik / Nachrichtentechnik
discipline_str_mv	Informatik Elektrotechnik / Elektronik / Nachrichtentechnik
doi_str_mv	10.1007/11560548
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04211nmm a2200877zcb4500</leader><controlfield tag="001">BV022302406</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080430 </controlfield><controlfield tag="006">a \|\|\|\| 10\|\|\| </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">070308s2005 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540291059</subfield><subfield code="9">3-540-29105-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540291053</subfield><subfield code="9">978-3-540-29105-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/11560548</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)254613288</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022302406</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">621.395</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Correct hardware design and verification methods</subfield><subfield code="b">13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3 - 6, 2005 ; proceedings</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 412 S.)</subfield><subfield code="b">graph. Darst.</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 computer science</subfield><subfield code="v">3725</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Entwurfssprache</subfield><subfield code="0">(DE-588)4295335-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Entwurfsautomation</subfield><subfield code="0">(DE-588)4312536-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hardwareentwurf</subfield><subfield code="0">(DE-588)4159103-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hardwareverifikation</subfield><subfield code="0">(DE-588)4214982-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">System-on-Chip</subfield><subfield code="0">(DE-588)4740357-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Schaltungsentwurf</subfield><subfield code="0">(DE-588)4179389-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="689" ind1="0" ind2="0"><subfield code="a">Schaltungsentwurf</subfield><subfield code="0">(DE-588)4179389-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">System-on-Chip</subfield><subfield code="0">(DE-588)4740357-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Entwurfsautomation</subfield><subfield code="0">(DE-588)4312536-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Hardwareverifikation</subfield><subfield code="0">(DE-588)4214982-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Hardwareentwurf</subfield><subfield code="0">(DE-588)4159103-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="5" ind2="0"><subfield code="a">Entwurfssprache</subfield><subfield code="0">(DE-588)4295335-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="5" ind2=" "><subfield code="8">5\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Borrione, Dominique</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">International Federation for Information Processing</subfield><subfield code="b">Working Group Digital Systems Descriptions and Design Tools</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)2101503-X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">International Federation for Information Processing</subfield><subfield code="b">Working Group Very Large Scale Integration</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)307182-0</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CHARME</subfield><subfield code="n">13</subfield><subfield code="d">2005</subfield><subfield code="c">Saarbrücken</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10115824-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">3725</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">3725</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/11560548</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015512378</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">4\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">5\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/11560548</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-SCS</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/11560548</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-2-SCS</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/11560548</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-SCS</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/11560548</subfield><subfield code="l">UBA01</subfield><subfield code="p">ZDB-2-SCS</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/11560548</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-SCS</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/11560548</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-SCS</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/11560548</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-SCS</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/11560548</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SCS</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.BV022302406
illustrated	Not Illustrated
index_date	2024-07-02T16:55:31Z
indexdate	2024-07-09T20:54:32Z
institution	BVB
institution_GND	(DE-588)2101503-X (DE-588)307182-0 (DE-588)10115824-5
isbn	3540291059 9783540291053
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-015512378
oclc_num	254613288
open_access_boolean
owner	DE-473 DE-BY-UBG DE-739 DE-706 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-384 DE-M347 DE-634
owner_facet	DE-473 DE-BY-UBG DE-739 DE-706 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-384 DE-M347 DE-634
physical	1 Online-Ressource (XII, 412 S.) graph. Darst.
psigel	ZDB-2-SCS
publishDate	2005
publishDateSearch	2005
publishDateSort	2005
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Correct hardware design and verification methods 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3 - 6, 2005 ; proceedings Berlin [u.a.] Springer 2005 1 Online-Ressource (XII, 412 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 3725 Literaturangaben Entwurfssprache (DE-588)4295335-2 gnd rswk-swf Entwurfsautomation (DE-588)4312536-0 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Hardwareentwurf (DE-588)4159103-3 gnd rswk-swf Hardwareverifikation (DE-588)4214982-4 gnd rswk-swf System-on-Chip (DE-588)4740357-3 gnd rswk-swf Schaltungsentwurf (DE-588)4179389-4 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Schaltungsentwurf (DE-588)4179389-4 s DE-604 System-on-Chip (DE-588)4740357-3 s Entwurfsautomation (DE-588)4312536-0 s Formale Methode (DE-588)4333722-3 s 1\p DE-604 Hardwareverifikation (DE-588)4214982-4 s 2\p DE-604 Hardwareentwurf (DE-588)4159103-3 s 3\p DE-604 Model Checking (DE-588)4434799-6 s 4\p DE-604 Entwurfssprache (DE-588)4295335-2 s 5\p DE-604 Borrione, Dominique Sonstige oth International Federation for Information Processing Working Group Digital Systems Descriptions and Design Tools Sonstige (DE-588)2101503-X oth International Federation for Information Processing Working Group Very Large Scale Integration Sonstige (DE-588)307182-0 oth CHARME 13 2005 Saarbrücken Sonstige (DE-588)10115824-5 oth Lecture notes in computer science 3725 (DE-604)BV014880109 3725 https://doi.org/10.1007/11560548 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 5\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Correct hardware design and verification methods 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3 - 6, 2005 ; proceedings Lecture notes in computer science Entwurfssprache (DE-588)4295335-2 gnd Entwurfsautomation (DE-588)4312536-0 gnd Model Checking (DE-588)4434799-6 gnd Hardwareentwurf (DE-588)4159103-3 gnd Hardwareverifikation (DE-588)4214982-4 gnd System-on-Chip (DE-588)4740357-3 gnd Schaltungsentwurf (DE-588)4179389-4 gnd Formale Methode (DE-588)4333722-3 gnd
subject_GND	(DE-588)4295335-2 (DE-588)4312536-0 (DE-588)4434799-6 (DE-588)4159103-3 (DE-588)4214982-4 (DE-588)4740357-3 (DE-588)4179389-4 (DE-588)4333722-3 (DE-588)1071861417
title	Correct hardware design and verification methods 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3 - 6, 2005 ; proceedings
title_auth	Correct hardware design and verification methods 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3 - 6, 2005 ; proceedings
title_exact_search	Correct hardware design and verification methods 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3 - 6, 2005 ; proceedings
title_exact_search_txtP	Correct hardware design and verification methods 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3 - 6, 2005 ; proceedings
title_full	Correct hardware design and verification methods 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3 - 6, 2005 ; proceedings
title_fullStr	Correct hardware design and verification methods 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3 - 6, 2005 ; proceedings
title_full_unstemmed	Correct hardware design and verification methods 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3 - 6, 2005 ; proceedings
title_short	Correct hardware design and verification methods
title_sort	correct hardware design and verification methods 13th ifip wg 10 5 advanced research working conference charme 2005 saarbrucken germany october 3 6 2005 proceedings
title_sub	13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3 - 6, 2005 ; proceedings
topic	Entwurfssprache (DE-588)4295335-2 gnd Entwurfsautomation (DE-588)4312536-0 gnd Model Checking (DE-588)4434799-6 gnd Hardwareentwurf (DE-588)4159103-3 gnd Hardwareverifikation (DE-588)4214982-4 gnd System-on-Chip (DE-588)4740357-3 gnd Schaltungsentwurf (DE-588)4179389-4 gnd Formale Methode (DE-588)4333722-3 gnd
topic_facet	Entwurfssprache Entwurfsautomation Model Checking Hardwareentwurf Hardwareverifikation System-on-Chip Schaltungsentwurf Formale Methode Konferenzschrift
url	https://doi.org/10.1007/11560548
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT borrionedominique correcthardwaredesignandverificationmethods13thifipwg105advancedresearchworkingconferencecharme2005saarbruckengermanyoctober362005proceedings AT internationalfederationforinformationprocessingworkinggroupdigitalsystemsdescriptionsanddesigntools correcthardwaredesignandverificationmethods13thifipwg105advancedresearchworkingconferencecharme2005saarbruckengermanyoctober362005proceedings AT internationalfederationforinformationprocessingworkinggroupverylargescaleintegration correcthardwaredesignandverificationmethods13thifipwg105advancedresearchworkingconferencecharme2005saarbruckengermanyoctober362005proceedings AT charmesaarbrucken correcthardwaredesignandverificationmethods13thifipwg105advancedresearchworkingconferencecharme2005saarbruckengermanyoctober362005proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge