LEADER 03994nam  22006975  450 
001 9910254199703321
005 20200703071243.0
010   $a3-319-24457-4
024 7 $a10.1007/978-3-319-24457-0
035   $a(CKB)3710000000532702
035   $a(EBL)4189331
035   $a(SSID)ssj0001597315
035   $a(PQKBManifestationID)16297181
035   $a(PQKBTitleCode)TC0001597315
035   $a(PQKBWorkID)14886687
035   $a(PQKB)11082756
035   $a(DE-He213)978-3-319-24457-0
035   $a(MiAaPQ)EBC4189331
035   $a(PPN)190886005
035   $a(EXLCZ)993710000000532702
100   $a20151211d2016      u|         0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aLanguages, Design Methods, and Tools for Electronic System Design $eSelected Contributions from FDL 2014 /$fedited by Frank Oppenheimer, Julio Luis Medina Pasaje
205   $a1st ed. 2016.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016.
215   $a1 online resource (205 p.)
225 1 $aLecture Notes in Electrical Engineering,$x1876-1100 ;$v361
300   $aDescription based upon print version of record.
311   $a3-319-24455-8 
320   $aIncludes bibliographical references at the end of each chapters.
327   $aFormal Models & Verification & Predictability -- Languages for Requirements -- Parallel Architectures -- Modelling and Verification of power properties.
330   $aThis book brings together a selection of the best papers from the seventeenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on October 14-16, 2014, in Munich, Germany.  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; ?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.
410  0$aLecture Notes in Electrical Engineering,$x1876-1100 ;$v361
606   $aElectronic circuits
606   $aElectronics
606   $aMicroelectronics
606   $aComputer hardware
606   $aCircuits and Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/T24068
606   $aElectronics and Microelectronics, Instrumentation$3https://scigraph.springernature.com/ontologies/product-market-codes/T24027
606   $aComputer Hardware$3https://scigraph.springernature.com/ontologies/product-market-codes/I1200X
615  0$aElectronic circuits.
615  0$aElectronics.
615  0$aMicroelectronics.
615  0$aComputer hardware.
615 14$aCircuits and Systems.
615 24$aElectronics and Microelectronics, Instrumentation.
615 24$aComputer Hardware.
676   $a004.0151
702   $aOppenheimer$b Frank$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMedina Pasaje$b Julio Luis$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910254199703321
996   $aLanguages, design methods, and tools for electronic system design$91465989
997   $aUNINA