Produktnummer:
184b03d82a1be84f52b1c44938ed5f937c
| Themengebiete: | Echtzeitsysteme Formale Verifikation KI-basierte Modelle Machine Learning Modellierung Modellierungssprache Optimierung Schaltungen und Systeme Simulation Synthese |
|---|---|
| Veröffentlichungsdatum: | 31.03.2025 |
| EAN: | 9783800765157 |
| Auflage: | 1 |
| Sprache: | Englisch |
| Seitenzahl: | 181 |
| Produktart: | CDROM |
| Verlag: | VDE VERLAG |
| Untertitel: | Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltu 28. Workshop, 11. – 12. März 2025 in Rostock |
Produktinformationen "ITG-Fb. 320: MBMV 2025"
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
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen