ITG-Fb. 302: MBMV 2022

ITG-Fb. 302: MBMV 2022

Methoden und Beschreibungssprachen zur Modellierung und Verifikation vonSchaltungen und Systemen, 25. Workshop, 17. – 18. Februar 2022,Hochschule Niederrhein, Online-Veranstaltung

Der Workshop der GMM/ITG/GI-Fachgruppen 3 und 4 „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV2022)“ ist ein Forum, um neue Trends, Ergebnisse und aktuelle Fragen auf dem Gebiet der Modellierung und Verifikation von Schaltungen und Systemen zu diskutieren.

Ursprünglich war für diese 25. Ausgabe ein Treffen in Krefeld geplant, das nun pandemiebedingt durch eine Online-Veranstaltung ersetzt wurde. In vier Sessions werden unterschiedliche Beiträge diskutiert, wobei auch dieses Mal Gastvorträge aus dem industriellen Umfeld das Programm abrunden.

> findR *
> Buchhandlung findr > Verlag findr > Für Buchhändler
Bücher zum Thema
Echtzeitsysteme formale Verifikation KI-basierte Modelle Machine learning Modellierung Modellierungssprache Optimierung Schaltungen und Systeme sicherheitsrelevante Produkte Simulation Synthese Verhaltensmodellierung
Produktinformationen

ITG-Fb. 302: MBMV 2022 online kaufen

Die Publikation ITG-Fb. 302: MBMV 2022 - Methoden und Beschreibungssprachen zur Modellierung und Verifikation vonSchaltungen und Systemen, 25. Workshop, 17. – 18. Februar 2022,Hochschule Niederrhein, Online-Veranstaltung von ist bei VDE VERLAG erschienen. Die Publikation ist mit folgenden Schlagwörtern verschlagwortet: Echtzeitsysteme, formale Verifikation, KI-basierte Modelle, Machine learning, Modellierung, Modellierungssprache, Optimierung, Schaltungen und Systeme, sicherheitsrelevante Produkte, Simulation, Synthese, Verhaltensmodellierung. Weitere Bücher, Themenseiten, Autoren und Verlage finden Sie hier: https://buch-findr.de/sitemap_index.xml . Auf Buch FindR finden Sie eine umfassendsten Bücher und Publikationlisten im Internet. Sie können die Bücher und Publikationen direkt bestellen. Ferner bieten wir ein umfassendes Verzeichnis aller Verlagsanschriften inkl. Email und Telefonnummer und Adressen. Die Publikation kostet in Deutschland 48 EUR und in Österreich 48 EUR Für Informationen zum Angebot von Buch FindR nehmen Sie gerne mit uns Kontakt auf!