VDE ITG | GMM-Fb. 113: MBMV 2026 | Sonstiges | 978-3-8007-6762-5 | www.sack.de

Sonstiges, Deutsch, Englisch, 174 Seiten, Format (B × H): 124 mm x 140 mm, Gewicht: 58 g

Reihe: GMM-Fachberichte

VDE ITG

GMM-Fb. 113: MBMV 2026

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 29. Workshop, 17. – 18. März 2026 in Würzburg
Neuerscheinung
ISBN: 978-3-8007-6762-5
Verlag: VDE Verlag

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 29. Workshop, 17. – 18. März 2026 in Würzburg

Sonstiges, Deutsch, Englisch, 174 Seiten, Format (B × H): 124 mm x 140 mm, Gewicht: 58 g

Reihe: GMM-Fachberichte

ISBN: 978-3-8007-6762-5
Verlag: VDE Verlag

Der 29. 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

VDE ITG GMM-Fb. 113: MBMV 2026 jetzt bestellen!

Autoren/Hrsg.

Fachgebiete

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.