ITG-Fb. 302: MBMV 2022 Methoden und Beschreibungssprachen zur Modellierung und Verifikation vonSchaltungen und Systemen

Gespeichert in:
Hauptverfasser:
GMM, VDE/VDI (HerausgeberIn), ITG, VDE (HerausgeberIn), GI (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Berlin VDE Verlag 2022
Ausgabe:
Neuerscheinung
Umfang:
Online-Ressource (75 S.)
Schriftenreihe:
ITG-Fachberichte
ISBN:
9783800757558
Schlagworte:
Optimierung
Modellierung
Simulation
Machine Learning
Echtzeitsysteme
Synthese
Schaltungen und Systeme
Formale Verifikation
KI-basierte Modelle
Modellierungssprache
Verhaltensmodellierung
sicherheitsrelevante Produkte
Bezugswerke:
Links: