01981nam 22004335 450 99657783400331620240224012157.03-8007-5221-2(CKB)5410000000003590603277bb-70d8-4ce5-bb75-4568b0dd2d03(EXLCZ)99541000000000359020200319d2020 ||| |geruruuu---uuuuutxtrdacontentcrdamediacrrdacarrierGMM-Fb. 96: MBMV 2020 Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und SystemenNeuerscheinungBerlinVDE Verlag2020Online-Ressource (109 S.)GMM-FachberichtePublicationDate: 202003193-8007-5220-4 Long description: MBMV ist der jahrlich stattfindende Workshop der GMM/ITG/GI-Fachgruppen 3 (Methoden des Entwurfs und der Verifikation digitaler Schaltungen und Systeme) und 4 (Beschreibungssprachen und Modellierung von Schaltungen und Systemen) der Kooperationsgemeinschaft Rechnergestützter Schaltungs- und Systementwurf (RSS). Das Ziel der Fachtagung 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. Wissenschaftliche Beitrage prasentieren neue Ergebnisse und werden zusatzlich, sofern sie in englischer Sprache vorliegen, in IEEE Xplore veroffentlicht.OptimierungModellierungSimulationEchtzeitsystemeSyntheseSchaltungen und SystemeFormale VerifikationVDE/VDI GMMedtVDE ITGedtGIedtPROCEEDING996577834003316GMM-Fb. 96: MBMV 20203884002UNISA01560nas 2200529- 450 991014711750332120250103110110.01998-4057(OCoLC)225391575(CKB)1000000000033862(CONSER)--2016247769(MiFhGG)0VWV(MiAaPQ)326295(DE-599)ZDB2202760-9(EXLCZ)99100000000003386220070504a20019999 --- aengur|||||||||||txtrdacontentcrdamediacrrdacarrierJournal of Indian Prosthodontic SocietyMumbai :Medknow Publications.New Delhi :Springer IndiaMumbai :Medknow Publications1 online resource (1 online version)Refereed/Peer-reviewed0972-4052 JIPSJOURNAL OF INDIAN PROSTHODONTIC SOCIETYJ INDIAN PROSTHODONT SOCJ. Indian Prosthodont. Soc.ProsthodonticsIndiaPeriodicalsProsthodonticsProsthodonticsfast(OCoLC)fst01079531IndiaIndiafastPeriodical.Periodicals.fastProsthodonticsProsthodontics.Prosthodontics.Indian Prosthodontic Society.JOURNAL9910147117503321Journal of Indian Prosthodontic Society2200580UNINA