13. Workshop MBMV10.

Beschreibung

Es werden Trends, neueste Ergebnisse und aktuelle Probleme auf folgenden Gebieten präsentiert:
Formale und semiformale Spezifikation und Modellierung;
Standards und Erweiterungen von Hardware-Beschreibungssprachen einschl. Sensorik;
Entwurfsmethodik und -wiederverwendung;
Syntheseverfahren, Co-Design;
Schaltungen und Systeme in sicherheitsrelevanten Produkten;
Verifikation nicht funktionaler Eigenschaften;
Simulationsbasierte Verifikation.

Autor*in

Manfred Dietrich

Themen in »13. Workshop MBMV10.«

Fraunhofer EAS Angewandte Forschung applied research Fachleute aus der Industrie und aus Hochschulen, die sich mit Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen beschäftigen

Stimmen zu »13. Workshop MBMV10.«

Details

Link teilen