Nicht aus der Schweiz? Besuchen Sie lehmanns.de

ITG-Fb. 314: MBMV 2024

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 27. Workshop, 14. – 15.Februar 2024 in Kaiserslautern
CD-ROM (Software)
VIII, 221 Seiten
2024 | 1. Neuerscheinung
VDE VERLAG (Hersteller)
978-3-8007-6267-5 (ISBN)
CHF 166,60 inkl. MwSt
Der 27. Workshop der GMM, ITG und GI-Fachgruppen FG3 und FG4 "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" ist ein Forum zu neuen Trends, Ergebnissen und aktuellen Fragen auf dem Gebiet der Modellierung. Diskussionsbeiträge zu folgenden Themen sind im Blickpunkt:- Formale, semi-formale und andere Mittel zur Spezifikation und Modellierung- Standards und Erweiterungen von Modellierungssprachen für Hardware oder HW/SW-Systeme- Modelle und Methoden für die domänenübergreifende Entwicklung: analog-digital, cyber-physisch, HW/SW- Verhaltensmodellierung, KI-basierte Modelle- Modellbasierte Entwicklung- 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

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 25.3.2024
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-6267-6 / 3800762676
ISBN-13 978-3-8007-6267-5 / 9783800762675
Zustand Neuware
Haben Sie eine Frage zum Produkt?