Format:
1 Online-Ressource
,
Illustrationen
ISBN:
9781509002375
,
146737668X
,
9781467376686
Note:
"MEMOCODE 2015 is co-located with FMCAD 2015, the fifteenth conference on Formal Methods in Computer-Aided Design, as well as other co-located conferences SAT, DIFTS and ACL-2." - Vorwort
,
Tagungsort: Austin, TX
Additional Edition:
ISBN 9781467376686
Additional Edition:
Erscheint auch als Druck-Ausgabe ACM/IEEE International Conference on Formal Methods and Models for Codesign (13. : 2015 : Austin, Tex.) 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2015) Piscataway, NJ : IEEE, 2015 ISBN 9781467376686
Language:
English
Keywords:
Hardwareentwurf
;
Softwareentwicklung
;
Formale Methode
;
Systementwurf
;
Konferenzschrift
URL:
Volltext
(lizenzpflichtig)
Bookmarklink
