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

Name: ITG-Fb. 314: MBMV 2024, CD-ROM
Brand: VDE-Verlag
SKU: 9783800762675
Price: 600.91 RON
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

Limbă:

Legare: CD digital

Editura: VDE-Verlag

Disponibilitate: șansă 50%

Şanse de a obține acest titlu

600.91 lei

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

Informații despre carte

Autor

VDE ITG, VDE/VDI GMM, GI

Limbă

germană

Legare

Digital - CD digital

Publicat

2024

Pagini

221

EAN

9783800762675

Enbook ID

45240694

Editura

VDE-Verlag

Greutate

Dimensiuni

124 x 140

Descriere completă

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

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și