Buch: 13. Workshop MBMV10
13. Workshop MBMV10
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Hrsg.: Manfred Dietrich; Fraunhofer IIS, Erlangen
2010, 248 S., zahlr. farb. Abb. u. Tab., Softcover
Fraunhofer Verlag
ISBN 978-3-8396-0103-7

Inhalt
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.

– nicht mehr lieferbar –

Publikationslisten zum Thema:
Fraunhofer EAS, Angewandte Forschung, applied research,

 

* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Lieferung deutschlandweit und nach Österreich versandkostenfrei. Informationen über die Versandkosten ins Ausland finden Sie hier.