Languages, Design Methods, and Tools for Electronic System Design
Subtitle: Selected Contributions from FDL 2015
Publisher: Springer London, Limited
Published: 2016
Language: eng
ISBN-13: 9783319317236
Subjects: Software engineering; Computer software, verification