13. Workshop MBMV10.
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen.. Hrsg.: Fraunhofer IIS, Erlangen
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...
Leider schon ausverkauft
Buch (Kartoniert)
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
Produktdetails
Produktinformationen zu „13. Workshop MBMV10. “
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.
Klappentext zu „13. Workshop MBMV10. “
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.
Autoren-Porträt
Dr. Manfred Dietrich leitet die Abteilung Mikroelektronische Systeme am Fraunhofer Institut, Institutsteil Entwurfsautomatisierung, in Dresden. Seit Jahren ist diese Abteilung in verschiedenen Industrie- und Förderprojekten auf dem Gebiet des 3D-Entwurfs integriert; sie arbeitet also aktiv an vorderster Stelle auf diesem neuen Arbeitsfeld mit.
Bibliographische Angaben
- 2010, 248 Seiten, mit zahlreichen farbigen Abbildungen, Maße: 14,8 x 20,9 cm, Kartoniert (TB), Deutsch
- Herausgegeben: Manfred Dietrich, Erlangen Fraunhofer IIS
- Verlag: Fraunhofer Verlag
- ISBN-10: 3839601037
- ISBN-13: 9783839601037
Kommentar zu "13. Workshop MBMV10."
0 Gebrauchte Artikel zu „13. Workshop MBMV10.“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "13. Workshop MBMV10.".
Kommentar verfassen