Advances in design methods from modeling languages for embedded systems and SoC's. Selected contributions on specification, design, and verification from FDL 2009.

From MaRDI portal
(Redirected from Publication:978509)