Eveking, Hans ; Hinrichsen, H. ; Ritter, G. (1999)
Automatic verification of scheduling results in high-level synthesis.
Konferenzveröffentlichung, Bibliographie
Typ des Eintrags: | Konferenzveröffentlichung |
---|---|
Erschienen: | 1999 |
Autor(en): | Eveking, Hans ; Hinrichsen, H. ; Ritter, G. |
Art des Eintrags: | Bibliographie |
Titel: | Automatic verification of scheduling results in high-level synthesis |
Sprache: | Englisch |
Publikationsjahr: | 1999 |
Ort: | Los Alamitos |
Verlag: | IEEE |
Reihe: | DATE'99: Design, Automation and Test in Europe <1999, München>; Proceedings. - Los Alamitos: IEEE, 1999 |
Fachbereich(e)/-gebiet(e): | 18 Fachbereich Elektrotechnik und Informationstechnik |
Hinterlegungsdatum: | 19 Nov 2008 16:22 |
Letzte Änderung: | 05 Mär 2013 08:45 |
PPN: | |
Export: | |
Suche nach Titel in: | TUfind oder in Google |
Frage zum Eintrag |
Optionen (nur für Redakteure)
Redaktionelle Details anzeigen |