by RolfDrechsler (Editor), RobertWille (Editor)
FDL is a well-established international forumdevoted to dissemination of research results, practical experiences and newideas in the application of specification, design and verification languages tothe design, modeling and verification of integrated circuits, complexhardware/software embedded systems, and mixed-technology systems.
Format: Hardcover
Pages: 204
Edition: 1st ed. 2016
Publisher: Springer
Published: 26 May 2016
ISBN 10: 3319317229
ISBN 13: 9783319317229