ITG-Fb. 320: MBMV 2025, CD-ROM

Name: ITG-Fb. 320: MBMV 2025, CD-ROM
Brand: VDE-Verlag
SKU: 9783800765157
Price: 105.74 EUR
Availability: InStock

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltu 28. Workshop, 11. - 12. März 2025 in Rostock

Автор: VDE ITG, VDE/VDI GMM, GI

Език:

Корици: Digital CD

Издател: VDE-Verlag

Наличност: 50% вероятност

Ще претърсим света

105.74 € 206.81 лв

Der 28. Workshop der GMM, ITG und GI-Fachgruppen FG3 und FG4 "Methoden und Beschreibungssprachen zur...

Информация за книгата

Автор

VDE ITG, VDE/VDI GMM, GI

Език

Английски език

Корици

Digital - Digital CD

Издадена

2025

страници

174

EAN

9783800765157

Enbook ID

48560336

Издател

VDE-Verlag

Теглоt

Размери

124 x 140

Пълно описание

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

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

ITG-Fb. 320: MBMV 2025, CD-ROM

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltu 28. Workshop, 11. - 12. März 2025 in Rostock

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също