Format:
Online-Ressource
ISBN:
9781479975778
,
0983567840
,
147997577X
,
9780983567844
,
9781479975778
Note:
Co-located with two conferences: (1) MEMOCODE 2014, the 12th ACM-IEEE International Conference on Formal Methods and Models of Codesign and (2) DIFTS 2014, Workshop on Design and Implementation of Formal Tools and Systems
,
Im Vorwort irrtümlich Tagungsdaten angegeben als: October 20 - 23, 2014
Additional Edition:
ISBN 9780983567844
Additional Edition:
Druckausg. 2014 formal methods in computer-aided design (FMCAD 2014) Piscataway, NJ : IEEE, 2014 ISBN 9781479975778
Language:
English
Keywords:
Konferenzschrift
URL:
Volltext
(lizenzpflichtig)
Bookmarklink