Holdings: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen:

Saved in:

Bibliographic Details
Format:	Conference Proceeding Book
Language:	German English
Published:	Hamburg Kovač 2012
Series:	Schriftenreihe Forschungsergebnisse zur Informatik 68
Subjects:	Verifikation Entwurfsautomation Beschreibungssprache Systemsynthese Modellierung Karlsruhe Konferenzschrift > 2012
Online Access:	Ausführliche Beschreibung Inhaltsverzeichnis
Item Description:	Literaturangaben. - Beitr. teilw. dt., teilw. engl.
Physical Description:	X, 204 S. graph. Darst. 21 cm, 278 g
ISBN:	9783830062011 383006201X

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV041055745
003	DE-604
005	00000000000000.0
007	t
008	130529s2012 gw d\|\|\| \|\|\|\| 10\|\|\| ger d
015			\|a 12,N08 \|2 dnb
015			\|a 12,A25 \|2 dnb
016	7		\|a 1019822309 \|2 DE-101
020			\|a 9783830062011 \|c kart. : EUR 78.00 (DE), EUR 80.20 (AT) \|9 978-3-8300-6201-1
020			\|a 383006201X \|9 3-8300-6201-X
024	3		\|a 9783830062011
035			\|a (OCoLC)796089356
035			\|a (DE-599)DNB1019822309
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger \|a eng
044			\|a gw \|c XA-DE-HH
049			\|a DE-91G
082	0		\|a 621.395 \|2 22/ger
084			\|a ST 190 \|0 (DE-625)143607: \|2 rvk
084			\|a ZN 4904 \|0 (DE-625)157419: \|2 rvk
084			\|a 004 \|2 sdnb
084			\|a ELT 430f \|2 stub
084			\|a 620 \|2 sdnb
245	1	0	\|a Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen \|c MBMV 2012. Jens Brandt & Klaus Schneider (Hrsg.)
264		1	\|a Hamburg \|b Kovač \|c 2012
300			\|a X, 204 S. \|b graph. Darst. \|c 21 cm, 278 g
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Schriftenreihe Forschungsergebnisse zur Informatik \|v 68
500			\|a Literaturangaben. - Beitr. teilw. dt., teilw. engl.
650	0	7	\|a Verifikation \|0 (DE-588)4135577-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Entwurfsautomation \|0 (DE-588)4312536-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Beschreibungssprache \|0 (DE-588)4131473-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Systemsynthese \|0 (DE-588)4198909-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Modellierung \|0 (DE-588)4170297-9 \|2 gnd \|9 rswk-swf
651		7	\|a Karlsruhe \|0 (DE-588)4029713-5 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2012 \|2 gnd-content
689	0	0	\|a Entwurfsautomation \|0 (DE-588)4312536-0 \|D s
689	0	1	\|a Systemsynthese \|0 (DE-588)4198909-0 \|D s
689	0	2	\|a Modellierung \|0 (DE-588)4170297-9 \|D s
689	0	3	\|a Beschreibungssprache \|0 (DE-588)4131473-6 \|D s
689	0	4	\|a Verifikation \|0 (DE-588)4135577-5 \|D s
689	0	5	\|a Karlsruhe \|0 (DE-588)4029713-5 \|D g
689	0		\|5 DE-604
700	1		\|a Brandt, Jens \|d 1978- \|e Sonstige \|0 (DE-588)133163555 \|4 oth
711	2		\|a Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen \|n 15 \|d 2012 \|c Kaiserslautern \|j Sonstige \|0 (DE-588)16342847-5 \|4 oth
830		0	\|a Schriftenreihe Forschungsergebnisse zur Informatik \|v 68 \|w (DE-604)BV011588474 \|9 68
856	4	2	\|m X:MVB \|q text/html \|u http://www.verlagdrkovac.de/978-3-8300-6201-1.htm \|3 Ausführliche Beschreibung
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026032980&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-026032980

Record in the Search Index

_version_	1804150418613207040
adam_text	IMAGE 1 INHALTSVERZEICHNIS FAST SYMBOLIC M O D E L CHECKING FOR PARTITIONED TRANSITION RELATIONS WITH ISOMORPHIC PARTITIONS 1 CHRISTIAN A P P O L D UNRELIABLE DATA TRANSMISSIONS UND LIMITED HARDWARE COMMUNICATION BUFFERS IN AUTOMOTIVE E / E VIRTUAL PROTOTYPES 13 SEBASTIAN GRAF, MICHAEL G L A SS U N D JUERGEN TEICH OPTIMIZED STATIC PARAMETER ASSIGNMENT FOR SEMIFORMAL SOFTWARE VERIFICATION . . . 2 5 ALEXANDER GRIINHAGE, JOERG BEHREND, PATRICK HECKEIER, JUERGEN RUF, T H O M A S KROPF, WOLF G A N G ROSENSTIEL U N D DJONES LETTNIRT CRAVE: A N ADVANCED CONSTRAINED R A N D O M VERIFICATION ENVIRONMENT FOR SYSTEMC 3 7 FINN HAEDICKE, H O A N G M. LE, D A N I E L GROSSE U N D R O L F DRECHSLER ABSTRACT MODELING O F COMMUNICATION ERRORS IN CYBER-PHYSICAL SYSTEMS USING UPN 4 9 SIMON HUFNAGEL, N I C O BANNOW, CHRISTOPH G R I M M U N D JIONG O U EIN ANSATZ ZUR VERIFIKATION VON MATERIALFLUSSSTEUERUNGEN 61 THOMAS KLOTZ, B E R N D STRAUBE, E V A FORDRAN, N O R M A N SESSLER, JUERGEN H A U F E U N D FRANK SCHULZE NICHT-INVASIVE SIMULATION DES ENERGIEVERBRAUCHS VON HARDWARE-KOMPONENTEN AUF SYSTEMEBENE MIT SYSTEMC 7 3 DANIEL LORENZ, PHILIPP A. HARTMANN, KIM GRUETTNER U N D A C H I M RETTBERG AUTOMATED FEATURE LOCALIZATION FOR HARDWARE DESIGNS USING COVERAGE METRICS . . 8 5 JAN MALBURG, A L E X A N D E R FINDER U N D GOERSCHWIN FEY FULLY SYMBOLIC MODEL CHECKING FOR INCOMPLETE SYSTEMS O F T I M E D A U T O M A T A . . . . 9 7 GEORGES M O R B E U N D CHRISTOPH SCHOLL HYBRID SEQUENTIAL FUNCTION CHARTS 109 JOHANNA NELLEN U N D ERIKA A B R A H A M HARDWARE/SOFTWARE CO-DESIGN O F A SMART SENSOR INTERFACE USING A FAST BUT ACCURATE CLOSE-TO-RTL INSTRUCTION SET INTERPRETER 121 GREGOR NITSCHE, GEORG GLAESER, DIRK NUERNBERGK U N D ECKHARD HENNIG ENHANCED INTEGRATION O F Q B F SOLVING TECHNIQUES 133 SVEN REIMER, FLORIAN PIGORSCH, CHRISTOPH SCHOLL U N D B E R N D BECKER HTTP://D-NB.INFO/1019822309 IMAGE 2 LATENCY-OPTIMIZED FORCE-DIRECTED PROCESS M A P P I N G FOR M P S O C A R C H I T E C T U R E S . . . 145 TIRNO SCHOENWALD, BENJAMIN RANFT, OLIVER BRINGINANN U N D WOLFGANG ROSENSTIEL EFFIZIENTE SIMULATION VON GATEOXIDDEFEKTEN A U F GATTEREBENE MIT TRANSISTORLEVEL-GENAUIGKEIT 157 HAGEN SAEMROW, CLAAS CORNELIUS, PHILIPP GORSKI, JAKOB SALZMANN U N D D I R K TIMMERMANN MINIMAL CRITICAL SUBSYSTEMS AS COUNTEREXAMPLES FOR OMEGA-REGULAR D T M C PROPERTIES 169 R A L F WIMMER, B E R N D BECKER, NILS JANSEN, ERIKA A B R A H A M U N D JOOST-PIETER KAROEN EXPLOITING MODEL-KNOWLEDGE IN HIGH-LEVEL SYNTHESIS 181 CHRISTIAN ZEBELEIN, CHRISTIAN HAUBELT, JOACHIM FALK U N D JUERGEN TEICH ACTOR-ORIENTED MODELING UND SIMULATION O F CUT-THROUGH COMMUNICATION IN N E T W O R K CONTROLLERS 193 LIYUAN ZHANG, MICHAEL GLASS, MARTIN STREUBIIHR U N D JUERGEN TEICH, ANDREAS V. SCHWERIN U N D KAI LIU
any_adam_object	1
author_GND	(DE-588)133163555
building	Verbundindex
bvnumber	BV041055745
classification_rvk	ST 190 ZN 4904
classification_tum	ELT 430f
ctrlnum	(OCoLC)796089356 (DE-599)DNB1019822309
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	Maschinenbau / Maschinenwesen Informatik Elektrotechnik Elektrotechnik / Elektronik / Nachrichtentechnik
format	Conference Proceeding Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02859nam a2200637 cb4500</leader><controlfield tag="001">BV041055745</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">130529s2012 gw d\|\|\| \|\|\|\| 10\|\|\| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N08</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,A25</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1019822309</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783830062011</subfield><subfield code="c">kart. : EUR 78.00 (DE), EUR 80.20 (AT)</subfield><subfield code="9">978-3-8300-6201-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">383006201X</subfield><subfield code="9">3-8300-6201-X</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783830062011</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)796089356</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1019822309</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-HH</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">621.395</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 190</subfield><subfield code="0">(DE-625)143607:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ZN 4904</subfield><subfield code="0">(DE-625)157419:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ELT 430f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">620</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen</subfield><subfield code="c">MBMV 2012. Jens Brandt & Klaus Schneider (Hrsg.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Hamburg</subfield><subfield code="b">Kovač</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 204 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">21 cm, 278 g</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Schriftenreihe Forschungsergebnisse zur Informatik</subfield><subfield code="v">68</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben. - Beitr. teilw. dt., teilw. engl.</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</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">Beschreibungssprache</subfield><subfield code="0">(DE-588)4131473-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systemsynthese</subfield><subfield code="0">(DE-588)4198909-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="651" ind1=" " ind2="7"><subfield code="a">Karlsruhe</subfield><subfield code="0">(DE-588)4029713-5</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="y">2012</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Entwurfsautomation</subfield><subfield code="0">(DE-588)4312536-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Systemsynthese</subfield><subfield code="0">(DE-588)4198909-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Beschreibungssprache</subfield><subfield code="0">(DE-588)4131473-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Karlsruhe</subfield><subfield code="0">(DE-588)4029713-5</subfield><subfield code="D">g</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Brandt, Jens</subfield><subfield code="d">1978-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)133163555</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen</subfield><subfield code="n">15</subfield><subfield code="d">2012</subfield><subfield code="c">Kaiserslautern</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16342847-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Schriftenreihe Forschungsergebnisse zur Informatik</subfield><subfield code="v">68</subfield><subfield code="w">(DE-604)BV011588474</subfield><subfield code="9">68</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://www.verlagdrkovac.de/978-3-8300-6201-1.htm</subfield><subfield code="3">Ausführliche Beschreibung</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=026032980&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026032980</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2012 gnd-content
genre_facet	Konferenzschrift 2012
geographic	Karlsruhe (DE-588)4029713-5 gnd
geographic_facet	Karlsruhe
id	DE-604.BV041055745
illustrated	Illustrated
indexdate	2024-07-10T00:38:37Z
institution	BVB
institution_GND	(DE-588)16342847-5
isbn	9783830062011 383006201X
language	German English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-026032980
oclc_num	796089356
open_access_boolean
owner	DE-91G DE-BY-TUM
owner_facet	DE-91G DE-BY-TUM
physical	X, 204 S. graph. Darst. 21 cm, 278 g
publishDate	2012
publishDateSearch	2012
publishDateSort	2012
publisher	Kovač
record_format	marc
series	Schriftenreihe Forschungsergebnisse zur Informatik
series2	Schriftenreihe Forschungsergebnisse zur Informatik
spelling	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen MBMV 2012. Jens Brandt & Klaus Schneider (Hrsg.) Hamburg Kovač 2012 X, 204 S. graph. Darst. 21 cm, 278 g txt rdacontent n rdamedia nc rdacarrier Schriftenreihe Forschungsergebnisse zur Informatik 68 Literaturangaben. - Beitr. teilw. dt., teilw. engl. Verifikation (DE-588)4135577-5 gnd rswk-swf Entwurfsautomation (DE-588)4312536-0 gnd rswk-swf Beschreibungssprache (DE-588)4131473-6 gnd rswk-swf Systemsynthese (DE-588)4198909-0 gnd rswk-swf Modellierung (DE-588)4170297-9 gnd rswk-swf Karlsruhe (DE-588)4029713-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2012 gnd-content Entwurfsautomation (DE-588)4312536-0 s Systemsynthese (DE-588)4198909-0 s Modellierung (DE-588)4170297-9 s Beschreibungssprache (DE-588)4131473-6 s Verifikation (DE-588)4135577-5 s Karlsruhe (DE-588)4029713-5 g DE-604 Brandt, Jens 1978- Sonstige (DE-588)133163555 oth Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 15 2012 Kaiserslautern Sonstige (DE-588)16342847-5 oth Schriftenreihe Forschungsergebnisse zur Informatik 68 (DE-604)BV011588474 68 X:MVB text/html http://www.verlagdrkovac.de/978-3-8300-6201-1.htm Ausführliche Beschreibung DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026032980&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Schriftenreihe Forschungsergebnisse zur Informatik Verifikation (DE-588)4135577-5 gnd Entwurfsautomation (DE-588)4312536-0 gnd Beschreibungssprache (DE-588)4131473-6 gnd Systemsynthese (DE-588)4198909-0 gnd Modellierung (DE-588)4170297-9 gnd
subject_GND	(DE-588)4135577-5 (DE-588)4312536-0 (DE-588)4131473-6 (DE-588)4198909-0 (DE-588)4170297-9 (DE-588)4029713-5 (DE-588)1071861417
title	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
title_auth	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
title_exact_search	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
title_full	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen MBMV 2012. Jens Brandt & Klaus Schneider (Hrsg.)
title_fullStr	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen MBMV 2012. Jens Brandt & Klaus Schneider (Hrsg.)
title_full_unstemmed	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen MBMV 2012. Jens Brandt & Klaus Schneider (Hrsg.)
title_short	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
title_sort	methoden und beschreibungssprachen zur modellierung und verifikation von schaltungen und systemen
topic	Verifikation (DE-588)4135577-5 gnd Entwurfsautomation (DE-588)4312536-0 gnd Beschreibungssprache (DE-588)4131473-6 gnd Systemsynthese (DE-588)4198909-0 gnd Modellierung (DE-588)4170297-9 gnd
topic_facet	Verifikation Entwurfsautomation Beschreibungssprache Systemsynthese Modellierung Karlsruhe Konferenzschrift 2012
url	http://www.verlagdrkovac.de/978-3-8300-6201-1.htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026032980&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV011588474
work_keys_str_mv	AT brandtjens methodenundbeschreibungssprachenzurmodellierungundverifikationvonschaltungenundsystemen AT workshopmethodenundbeschreibungssprachenzurmodellierungundverifikationvonschaltungenundsystemenkaiserslautern methodenundbeschreibungssprachenzurmodellierungundverifikationvonschaltungenundsystemen

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items