Format:
Online-Ressource (VII, 233 S.)
ISBN:
0780385098
Note:
IEEE catalog number: 04EX860
,
Parallel als Buch-Ausg. erschienen
,
Systemvoraussetzungen: Acrobat reader.
Additional Edition:
Erscheint auch als Druck-Ausgabe ACM and IEEE International Conference on Formal Methods and Models for Co-Design (2nd : 2004 : San Diego, Calif.) Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design Piscataway, N.J : IEEE, ©2004
Language:
English
Keywords:
Hardwareentwurf
;
Softwareentwicklung
;
Formale Methode
;
Systementwurf
;
Konferenzschrift