ITG-Fachberichte
Neuerscheinung, 2023
Volltextzugriff (PDF)
Details
- Autor(en) / Beteiligte
- Titel
- ITG-Fb. 309: MBMV 2023 : Methoden und Beschreibungssprachen zur Modellierung undVerifikation von Schaltungen und Systemen, 26. Workshop, 23. – 24. März2023 in Freiburg
- Ist Teil von
- ITG-Fachberichte
- Auflage
- Neuerscheinung
- Ort / Verlag
- Berlin : VDE Verlag
- Erscheinungsjahr
- 2023
- Link zu anderen Inhalten
- Sprache
- Englisch
- Identifikatoren
- ISBN: 9783800760664, 9783534300068Titel-ID: 99372022523606441
- Format
- Online-Ressource (112 S.)
- Schlagworte
- Optimierung, Modellierung, Simulation, Machine Learning, Echtzeitsysteme, Synthese, Schaltungen und Systeme, Formale Verifikation, KI-basierte Modelle, Modellierungssprache, Verhaltensmodellierung, sicherheitsrelevante Produkte