LEADER 02485nam  2200457   450 
001 996575445603316
005 20230817181526.0
010   $a3-8007-4946-7
035   $a(CKB)4100000008867627
035   $a(WaSeSS)IndRDA00123709
035   $a5e60ed74-ae30-4d93-958d-2f6fb0dd2d03
035   $a(EXLCZ)994100000008867627
100   $a20200525d2019      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$a22nd Workshop - Methods and Description Languages for Modelling and Verification of Circuits and Systems $e8 April 2019, Kaiserslautern, Germany /$fInstitute of Electrical and Electronics Engineers
205   $aNeuerscheinung
210  1$aBerlin, Germany :$cVDE Verlag,$d2019.
215   $a1 online resource (9 pages)
300   $aPublicationDate: 20190408
311   $a3-8007-4945-9 
330   $aLong description: MBMV ist der jährlich stattfindende Workshop der GMM/ITG/GI-Fachgruppen 3 und 4 und wurde 2019 vom 8.-9. April in Kaiserslautern organisiert.  Das Ziel des Workshops besteht darin, Experten aus Industrie und Forschung zusammenzubringen, um gemeinsam neue Trends, Ergebnisse und aktuelle Fragen auf dem Gebiet der Modellierung und der Verifikation von Schaltungen und Systemen zu diskutieren.  Der vorliegende Tagungsband ist eine ausgewählte Sammlung von 8 wissenschaftlichen Beiträgen und 8 weiteren Übersichtsvorträgen. Übersichtsvorträge berichten über bereits veröffentlichte Ergebnisse oder über noch unvollständige Arbeiten und werden als kurze Zusammenfassungen in diesem Tagungsband veröffentlicht. Wissenschaftliche Beiträge präsentieren neue Ergebnisse und werden zusätzlich als volle Beiträge in IEEE Xplore veröffentlicht.
606   $aComputer hardware description languages$vCongresses
606   $aIntegrated circuits$xVerification$vCongresses
606   $aSystem design$vCongresses
615  0$aComputer hardware description languages
615  0$aIntegrated circuits$xVerification
615  0$aSystem design
676   $a621.392
702   $aGrimm$b Christoph$4edt
702   $aSchneider$b Klaus$4edt
702   $aZivkovic$b Carna$4edt
801  0$bWaSeSS
801  1$bWaSeSS
906   $aPROCEEDING
912   $a996575445603316
996   $a22nd Workshop - Methods and Description Languages for Modelling and Verification of Circuits and Systems$93879211
997   $aUNISA