Languages for embedded systems and their applications : selected contributions on specification design and verification from FDL 08
Radetzki, Martin
Languages for embedded systems and their applications : selected contributions on specification design and verification from FDL 08 - New York Springer 2009 - xiv, 324p. ; 24cm - Lecture notes in electrical Engineering : v.36 .
9781402097133
004 / RAD
Languages for embedded systems and their applications : selected contributions on specification design and verification from FDL 08 - New York Springer 2009 - xiv, 324p. ; 24cm - Lecture notes in electrical Engineering : v.36 .
9781402097133
004 / RAD