Contact
How to shop
Delivery
Shopping guide
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
English
264 b
Delivery to Austria
30-day return policy
Customers also purchased
/
Sheet
11.69
€
/
Paperback
18.09
€
/
Paperback
14.89
€
/
Paperback
30.19
€
/
Hardback
184.59
€
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
About the book
English
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Hardback
30.79
€
/
Adobe ePub DRM
19.79
€
/
Paperback
12.29
€
/
Paperback
15.39
€
/
Paperback
11.59
€
/
Paperback
10.69
€
/
Paperback
14.69
€
