- 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
Produkteigenschaften
- Artikelnummer: 9783800765157
- Medium: Sonstiges
- ISBN: 978-3-8007-6515-7
- Verlag: VDE Verlag
- Erscheinungstermin: 31.03.2025
- Sprache(n): Englisch
- Auflage: Neuerscheinung
- Serie: ITG-Fachberichte
- Produktform: CD-ROM
- Gewicht: 58 g
- Seiten: 174
- Format (B x H): 124 x 140 mm
- Ausgabetyp: Kein, Unbekannt