Related Books
Language: en
Pages: 248
Pages: 248
Type: BOOK - Published: 2010-08-24 - Publisher: Springer Science & Business Media
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
Language: en
Pages: 494
Pages: 494
Type: BOOK - Published: 2009-07-31 - Publisher: IGI Global
"This book provides innovative behavior models currently used for developing embedded systems, accentuating on graphical and visual notations"--Provided by publ
Language: en
Pages: 235
Pages: 235
Type: BOOK - Published: 2013-09-18 - Publisher: Springer Science & Business Media
This book brings together a selection of the best papers from the fifteenth edition of the Forum on specification and Design Languages Conference (FDL), which w
Language: en
Pages: 270
Pages: 270
Type: BOOK - Published: 2011-09-19 - Publisher: Springer Science & Business Media
This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, i
Language: en
Pages: 219
Pages: 219
Type: BOOK - Published: 2013-07-19 - Publisher: Springer Science & Business Media
This book offers readers broad coverage of techniques to model, verify and validate the behavior and performance of complex distributed embedded systems. The au
