EAN: | 9783319014173 |
---|---|
Sachgruppe: | Technik |
Sprache: | Englisch |
Seitenzahl: | 240 |
Produktart: | Gebunden |
Herausgeber: | Haase, Jan |
Veröffentlichungsdatum: | 01.10.2013 |
Untertitel: | Selected Contributions from FDL 2012 |
160,49 €*
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
Covers Assertion Based Design, Verification & DebugIncludes language-based modeling and design techniques for embedded systemsCovers design, modeling and verification of mixed physical domain and mixed signal systems that include significant analog parts in electrical and non-electrical domainsIncludes formal and semi-formal system level design methods for complex embedded systems based on the Unified Modelling Language (UML) and Model Driven Engineering (MDE)Includes supplementary material: sn.pub/extras