Zum Hauptinhalt springen

Aktuelle Publikation

Fortschritte bei der Verifikation von hardwarenaher Software

R. Syba1. M. Hahn2.

eda Newsletter des edacentrums, Projekt Herkules, November 2009

1Melexis GmbH. 2IMMS Institut für Mikroelektronik- und Mechatronik-Systeme gemeinnützige GmbH, Ilmenau.
Fachartikel