000			03488nam a22003975i 4500
001			85852
003			ES-MaUEC
005			20230207040530.0
007			cr nn 008mamaa
008			160530s2016 gw | s |||| 0|eng d
020			_a9783319317236
040			_aES-MaUEC
050		4	_aQA76.9.F67 _bL364 2016
082	0	4	_a621.3815
245	1	0	_aLanguages, Design Methods, and Tools for Electronic System Design : _bSelected Contributions from FDL 2015 _cedited by Rolf Drechsler, Robert Wille
260			_aCham _bSpringer International Publishing _c2016
300			_a1 recurso en línea (VIII, 193 páginas) _b109 ilustraciones, 90 ilustraciones en color
336			_aTexto _btxt _2rdacontent
337			_aelectrónico _bc _2rdamedia
338			_arecurso electrónico _bcr _2rdacarrier
490	0		_aLecture Notes in Electrical Engineering _x1876-1100 _v385
505	0		_aIntroduction -- Virtual Hardware-In-The-Loop Co-Simulation for Multi-Domain Automotive Systems via the Functional Mock-Up Interface -- Standard Compliant Co-Simulation Models for Verification of Automotive Embedded Systems -- Building a Dynamically Reconfigurable System Through a High-Level Development Flow -- A Special-Purpose Language for Implementing Pipelined FPGA-based Accelerators -- Enabler-Based Synchronizer Model for Clock Domain Crossing Static Verification -- Temporal Decoupling with Error-Bounded Predictive Quantum Control -- Conservative Behavioural Modelling in SystemC-AMS -- Modeling Power Consumption at System-Level for Design of Power Integrity-Aware AMS-Circuits.
520	3		_aThis book brings together a selection of the best papers from the eighteenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 14-16, 2015, in Barcelona, Spain. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems. 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 that include significant analog parts in electrical and non-electrical domains; 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).
710	2		_aSpringerLink (Online service) _0Local _9106996
942			_2lcc _cLE
988			_aEBOOK, asignarmaterias , EBSPRINGER
650		7	_aMicroprocesadores _9141164 _0comprobar BNE19900994978 _2embne
650		7	_aElectrónica _0comprobar BNE19900963053 _2embne _9138690
700	1		_aDrechsler, Rolf _eeditor literario _0Local _999112
700	1		_999113 _aWille, Robert _eeditor literario _0Local
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://link.springer.com/book/10.1007/978-3-319-31723-6 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
901			_ai9783319317236
907			_a.b12951304 _b10-10-17 _c21-11-16
998			_am _a_alco _a_vill _b - - _cm _dz _e- _feng _ggw _h0
945			_aQA76.9.F67 L364 2016 EB _g1 _ieBOOK _j0 _lmae _o- _pEUR0.00 _q- _r- _sb _t15 _u0 _v0 _w0 _x0 _y.i11594159 _z06-04-17
999			_c85852 _d85852 _x1