Kontakt
Jak kupować
Dostawa
Doradca ds. zakupów
ITG-Fb. 309: MBMV 2023, CD-ROM
Methoden und Beschreibungssprachen zur Modellierung undVerifikation von Schaltungen und Systemen, 26. Workshop, 23. - 24. März2023 in Freiburg
Angielski
168 b
Nawet do 30 dni na zwrot
Klienci kupili także
/
Miękka
82.88
zł
/
Miękka
127.52
zł
/
Miękka
78.82
zł
/
Miękka
294.10
zł
Der 26. Workshop der VDE ITG, VDE/VDI GMM, 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
Informacje o książce
Angielski
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanegoMogłoby Cię także zainteresować
/
Miękka
198.53
zł
/
Miękka
94.34
zł
/
Miękka
32.76
zł
/
Miękka
69.38
zł
/
Miękka
256.97
zł
/
Miękka
113.72
zł
