Germany

License single eBooks

Your results

Advanced search

Search and filter

Free text

Search across titles, authors, ISBNs, and more

ISBNs

Copy and paste up to 1000 ISBNs separated by comma(,), space (‘ ’), or line break

You've reached the limit of 1000 ISBN numbers

Subjects

SN’s own taxonomy

Search for subjects

No results found. Try again with another term.

0 selected out of 0 items

Show All Selected

Download list (.CSV)

View Cart

Languages, Design Methods, and Tools for Electronic System Design

Selected Contributions from FDL 2014

Frank Oppenheimer; Julio Luis Medina Pasaje

978-3-319-24457-0

2016
Edition 1
- Covers Assertion Based Design, Verification & Debug;
- Includes language-based modeling and design techniques for embedded systems;
- Covers design, modeling and verification of mixed physical domain and mixed signal systems;
- Includes formal and semi-formal system level design methods for complex embedded systems based on the Unified Modelling Language (UML) and Model Driven Engineering (MDE);
- Covers parallel architectures – both as platforms for embedded systems and for efficient simulation;
- Includes modeling and analysis approaches for trending topics such as natural language processing, power efficiency and predictable systems.
€180

Help library users learn, on good terms

License single eBooks to give your patrons unlimited Springer Nature Link access to the eBooks they need, with clear and generous terms for the library.