ITG-Fb. 314: MBMV 2024, CD-ROM

Name: ITG-Fb. 314: MBMV 2024, CD-ROM
Brand: VDE-Verlag
SKU: 9783800762675
Price: 2784 CZK
Availability: InStock

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 27. Workshop, 14. - 15.Februar 2024 in Kaiserslautern

Autor: VDE ITG, VDE/VDI GMM, GI

Jazyk:

Vazba: Digital CD

Vydavatel: VDE-Verlag

Dostupnost: 50 % šance

Prohledáme celý svět

2 784 Kč

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

Informace o knize

Autor

VDE ITG, VDE/VDI GMM, GI

Jazyk

Němčina

Vazba

Digital - Digital CD

Vydáno

2024

Stránek

221

EAN

9783800762675

Enbook ID

45240694

Vydavatel

VDE-Verlag

Hmotnost

Rozměry

124 x 140

Kompletní popis

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

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

ITG-Fb. 314: MBMV 2024, CD-ROM

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 27. Workshop, 14. - 15.Februar 2024 in Kaiserslautern

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také