ITG-Fb. 296: MBMV 2021, CD-ROM / Nejlevnější knihy
ITG-Fb. 296: MBMV 2021, CD-ROM

Kód: 38547024

ITG-Fb. 296: MBMV 2021, CD-ROM

Autor VDE ITG, VDE/VDI GMM, GI

Der 24. Workshop der GMM/ITG/GI-Fachgruppen 3 und 4 ist ein Forum, um neue Trends, Ergebnisse und aktuelle Fragen auf dem Gebiet der Modellierung und Verifikation von Schaltungen und Systemen zu diskutieren. Es sind gleichermaßen ... celý popis

1959 Kč

Dostupnost:

50 % šanceMáme informaci, že by titul mohl být dostupný. Na základě vaší objednávky se ho pokusíme do 6 týdnů zajistit.
Prohledáme celý svět

Informovat o naskladnění

Přidat mezi přání

Mohlo by se vám také líbit

Darujte tento titul ještě dnes
  1. Objednejte titul a zvolte Zaslat jako dárek.
  2. Obratem obdržíte darovací poukaz na titul, který můžete ihned předat obdarovanému.
  3. Titul zašleme na adresu obdarovaného, o nic se nestaráte.

Více informací

Informovat o naskladnění titulu

Informovat o naskladnění titulu


Souhlas - Souhlasím se zasíláním obchodních sdělení a zpracováním osobních údajů k obchodním sdělením.

Zašleme vám zprávu jakmile titul naskladníme

Zadejte do formuláře e-mailovou adresu a jakmile titul naskladníme, zašleme vám o tom zprávu. Pohlídáme vše za vás.

Více informací o titulu ITG-Fb. 296: MBMV 2021, CD-ROM

Nákupem získáte 196 bodů

Anotace titulu

Der 24. Workshop der GMM/ITG/GI-Fachgruppen 3 und 4 ist ein Forum, um neue Trends, Ergebnisse und aktuelle Fragen auf dem Gebiet der Modellierung und Verifikation von Schaltungen und Systemen zu diskutieren. Es sind gleichermaßen Beiträge aus Forschung und industrieller Anwendung willkommen. Inhaltlich konzentriert sich der Workshop auf die folgenden Themengebiete im Kontext der Modellierung und Verifikation von Systemen:- Formale, semi-formale und andere Mittel zur Spezifikation und Modellierung- Standards und Erweiterungen von Modellierungssprachen für Hardware, Hardware/Software-Systeme, Modellbasierte Entwicklung- Verhaltensmodellierung, KI-basierte Modelle, Modellverfeinerung- Modelle und Methoden für die domänenübergreifende Entwicklung: Analog/Digital, Hardware/Software, Mechatronik, Cyber/Physisch- Synthese und formale Synthese, Eigenschaftsverfeinerung aus Spezifikationen- Formale Verifikation (Äquivalenz- und Eigenschaftsbeweise)- Schaltungen und Systeme in sicherheitsrelevanten Produkten- Verifikation nichtfunktionaler Eigenschaften- Simulationsbasierte Verifikation und Validierung- Digitalisierung der Entwicklung z.B. durch Machine Learning oder Datenanalyse- Special Focus Topic MBMV2021: Open Source Werkzeuge zur Modellierung und Verifikation von Schaltungen und Systemen

Parametry titulu

Zařazení titulu Knihy v angličtině Technology, engineering, agriculture Electronics & communications engineering Electronics engineering

1959 Kč

O tomto obchodě



Nákupní rádce
Přehledy
Knihy podle jazyka
Platba
Doručení 54 Kč

Osobní odběr Praha, Brno a 12903 dalších

Česko
България Hrvatska România Magyarország Polska Slovensko

Copyright ©2008-24 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies

Můj účet: Přihlásit se
Všechny knihy světa na jednom místě. Navíc za skvělé ceny.

Nákupní košík ( prázdný )

Vyzvednutí v Zásilkovně
zdarma nad 1 499 Kč.

Nacházíte se: