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
Seiten
2022
|
1. Neuerscheinung
VDE VERLAG (Hersteller)
978-3-8007-5754-1 (ISBN)
VDE VERLAG (Hersteller)
978-3-8007-5754-1 (ISBN)
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? |
