Related Books

Advances in Design and Specification Languages for SoCs
Language: en
Pages: 300
Authors: Pierre Boulet
Categories: Technology & Engineering
Type: BOOK - Published: 2006-06-30 - Publisher: Springer Science & Business Media

GET EBOOK

The seventh book in the CHDL Series is composed of a selection of the best articles from the Forum on Specification and Design Languages (FDL'04). FDL is the Eu
Advances in Design and Specification Languages for Embedded Systems
Language: en
Pages: 352
Authors: Sorin Alexander Huss
Categories: Technology & Engineering
Type: BOOK - Published: 2007-07-19 - Publisher: Springer Science & Business Media

GET EBOOK

This book is the latest contribution to the Chip Design Languages series and it consists of selected papers presented at the Forum on Specifications and Design
Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s
Language: en
Pages: 248
Authors: Dominique Borrione
Categories: Technology & Engineering
Type: BOOK - Published: 2010-08-24 - Publisher: Springer Science & Business Media

GET EBOOK

More than ever, FDL is the place for researchers, developers, industry designers, academia, and EDA tool companies to present and to learn about the latest scie
Applications of Specification and Design Languages for SoCs
Language: en
Pages: 319
Authors: A. Vachoux
Categories: Technology & Engineering
Type: BOOK - Published: 2006-10-06 - Publisher: Springer Science & Business Media

GET EBOOK

This book includes a selection of the best contributions to the Forum on Specification and Design Languages held in 2005 (FDL'05). It provides detailed insights
Formal Methods for Industrial Critical Systems
Language: en
Pages: 242
Authors: Darren Cofer
Categories: Computers
Type: BOOK - Published: 2009-07-27 - Publisher: Springer Science & Business Media

GET EBOOK

The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry.