Nicht aus der Schweiz? Besuchen Sie lehmanns.de

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
CD-ROM (Software)
72 Seiten
2022 | 1. Neuerscheinung
VDE VERLAG (Hersteller)
978-3-8007-5754-1 (ISBN)
CHF 69,95 inkl. MwSt
  • Versand in 10-15 Tagen
  • Versandkostenfrei
  • Auch auf Rechnung
  • Artikel merken
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.

Informationstechnische Gesellschaft im VDE (VDE ITG) VDE/VDI Gesellschaft Mikroelektronik, Mikrosystem- und Feinwerktechnik (VDE/VDI GMM) Gesellschaft für Informatik e.V. (GI)

Erscheint lt. Verlag 15.3.2022
Reihe/Serie ITG-Fachberichte
Verlagsort Berlin
Sprache deutsch
Maße 124 x 140 mm
Gewicht 58 g
Themenwelt Informatik Weitere Themen Hardware
Technik Elektrotechnik / Energietechnik
Schlagworte Echtzeitsysteme • Formale Verifikation • KI-basierte Modelle • machine learning • Modellierung • Modellierungssprache • Optimierung • Schaltungen und Systeme • sicherheitsrelevante Produkte • Simulation • Synthese • Verhaltensmodellierung
ISBN-10 3-8007-5754-0 / 3800757540
ISBN-13 978-3-8007-5754-1 / 9783800757541
Zustand Neuware
Haben Sie eine Frage zum Produkt?