TY  - GEN
AU  - Fummi, Franco 
AU  - Wille, Robert
ED  - [FDL] THE FORUM ON SPECIFICATION AND DESIGN LANGUAGES ( 2016 : Bremen)
TI  - Languages, design methods, and tools for electronic system design: selected contributions from FDL 2016
SN  - 9783319629193
PY  - 2018///
CY  - Cham
PB  - Springer Nature
KW  - FORMAL METHODS(COMPUTER SCIENCE)
KW  - COMPUTER HARDWARE DESCRIPTION LANGUAGES
KW  - Computer software-Verification
KW  - Electronics
ER  -