Embedded Systems Specification and Design Languages (Registro nro. 49881)
[ vista simple ]
000 -CABECERA | |
---|---|
campo de control de longitud fija | 04613nam a22005055i 4500 |
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL | |
campo de control | DE-He213 |
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
campo de control | 20191011032244.0 |
007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL | |
campo de control de longitud fija | cr nn 008mamaa |
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL | |
campo de control de longitud fija | 100301s2008 ne | s |||| 0|eng d |
020 64 - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO | |
Número Internacional Estándar del Libro | 9781402082979 |
-- | 978-1-4020-8297-9 |
024 87 - IDENTIFICADOR DE OTROS ESTÁNDARES | |
Número estándar o código | 10.1007/978-1-4020-8297-9 |
Fuente del número o código | doi |
050 84 - CLASIFICACIÓN TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO | |
Número de clasificación | TK7888.4 |
072 87 - CÓDIGO DE CATEGORÍA DE MATERIA | |
Código de categoría de materia | TJFC |
Fuente | bicssc |
072 87 - CÓDIGO DE CATEGORÍA DE MATERIA | |
Código de categoría de materia | TEC008010 |
Fuente | bisacsh |
082 ## - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY | |
Número de clasificación | 621.3815 |
Número de edición | 23 |
001 - NÚMERO DE CONTROL | |
campo de control | 000050152 |
100 81 - ENTRADA PRINCIPAL--NOMBRE DE PERSONA | |
Nombre de persona | Villar, Eugenio. |
Término indicativo de función/relación | editor. |
9 (RLIN) | 46644 |
245 97 - MENCIÓN DE TÍTULO | |
Título | Embedded Systems Specification and Design Languages |
Medio | [electronic resource] : |
Resto del título | Selected contributions from FDL07 / |
Mención de responsabilidad, etc. | edited by Eugenio Villar. |
264 81 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT | |
Producción, publicación, distribución, fabricación y copyright | Dordrecht : |
Nombre del de productor, editor, distribuidor, fabricante | Springer Netherlands, |
Fecha de producción, publicación, distribución, fabricación o copyright | 2008. |
300 64 - DESCRIPCIÓN FÍSICA | |
Extensión | IX, 275 p. |
Otras características físicas | online resource. |
336 64 - TIPO DE CONTENIDO | |
Término de tipo de contenido | text |
Código de tipo de contenido | txt |
Fuente | rdacontent |
337 64 - TIPO DE MEDIO | |
Nombre/término del tipo de medio | computer |
Código del tipo de medio | c |
Fuente | rdamedia |
338 64 - TIPO DE SOPORTE | |
Nombre/término del tipo de soporte | online resource |
Código del tipo de soporte | cr |
Fuente | rdacarrier |
347 64 - CARACTERÍSTICAS DEL ARCHIVO DIGITAL | |
Tipo de archivo | text file |
Formato de codificación | |
Fuente | rda |
490 81 - MENCIÓN DE SERIE | |
Mención de serie | Lecture Notes in Electrical Engineering, |
Número Internacional Normalizado para Publicaciones Seriadas | 1876-1100 ; |
Designación de volumen o secuencia | 10 |
505 80 - NOTA DE CONTENIDO CON FORMATO | |
Nota de contenido con formato | C/C++ Based System Design -- How Different Are Esterel and SystemC -- Timed Asynchronous Circuits Modeling and Validation Using SystemC -- On Construction of Cycle Approximate Bus TLMs -- Combinatorial Dependencies in Transaction Level Models -- An Integrated SystemC Debugging Environment -- Measuring the Quality of a SystemC Testbench by Using Code Coverage Techniques -- SystemC-Based Simulation of the MICAS Architecture -- Analog, Mixed-Signal, and Heterogeneous System Design -- Heterogeneous Specification with HetSC and SystemC-AMS: Widening the Support of MoCs in SystemC -- An Extension to VHDL-AMS for AMS Systems with Partial Differential Equations -- Mixed-Level Modeling Using Configurable MOS Transistor Models -- UML-Based System Specification and Design -- Modeling AADL Data Communications with UML MARTE -- Software Real-Time Resource Modeling -- Model Transformations from a Data Parallel Formalism Towards Synchronous Languages -- UML and SystemC A Comparison and Mapping Rules for Automatic Code Generation -- An Enhanced SystemC UML Profile for Modeling at Transaction-Level -- SC2 StateCharts to SystemC: Automatic Executable Models Generation -- Formalisms for Property-Driven Design -- Asynchronous On-Line Monitoring of Logical and Temporal Assertions -- Transactor-Based Formal Verification of Real-Time Embedded Systems -- A Case-Study in Property-Based Synthesis: Generating a Cache Controller from a Property-Set. |
520 64 - SUMARIO, ETC. | |
Sumario, etc. | FDL is the most important European and, probably, worldwide forum to present research results, to exchange experiences, and to learn about new trends in the application of specification and design languages and the associated design and modeling methods and tools for complex, heterogeneous HW/SW embedded systems. FDL07 was the tenth of a series of successful events held all around Europe. FDL07 was held in Barcelona, the capital city of Catalonia, Spain. The high number of submissions to the conference this year allowed the Program Committee to prepare a high quality conference program. Embedded Systems Specification and Design Languages includes a selection of the most relevant contributions based on the review made by the program committee members and the quality of the contents of the presentation at the conference. In many cases, the authors have improved the original content with additional technical information. The papers cover the most important aspects in system modeling and specification, an essential area in Embedded Systems design. The objective of Embedded Systems Specification and Design Languages is to serve as a reference text for researchers and designers interested in the extension and improvement of the application of design and verification languages in the area of Embedded Systems. |
516 64 - NOTA DE TIPO DE ARCHIVO DE ORDENADOR O DE DATOS | |
Nota de tipo de archivo de ordenador o de datos | ZDB-2-ENG |
650 80 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Engineering. |
-- | 46645 |
650 80 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Computer hardware. |
-- | 46646 |
650 80 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Software engineering. |
-- | 9213 |
650 80 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Systems engineering. |
-- | 46647 |
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Engineering. |
-- | 46645 |
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Circuits and Systems. |
-- | 46648 |
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Computer Hardware. |
-- | 46649 |
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Special Purpose and Application-Based Systems. |
-- | 9217 |
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Software Engineering/Programming and Operating Systems. |
-- | 9913 |
710 82 - PUNTO DE ACCESO ADICIONAL--NOMBRE DE ENTIDAD CORPORATIVA | |
Nombre de entidad corporativa o nombre de jurisdicción como elemento de entrada | SpringerLink (Online service) |
9 (RLIN) | 46650 |
773 80 - ENLACE AL DOCUMENTO FUENTE/ENTRADA DE REGISTRO ANFITRIÓN | |
Título | Springer eBooks |
776 ## - ENTRADA/ENLACE A UN FORMATO FÍSICO ADICIONAL | |
Información de relación/Frase instructiva de referencia | Printed edition: |
Número Internacional Estándar del Libro | 9781402082962 |
830 80 - PUNTO DE ACCESO ADICIONAL DE SERIE-TÍTULO UNIFORME | |
Título uniforme | Lecture Notes in Electrical Engineering, |
Número Internacional Normalizado para Publicaciones Seriadas | 1876-1100 ; |
Designación de volumen o secuencia | 10 |
9 (RLIN) | 46651 |
856 ## - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS | |
Identificador Uniforme del Recurso | http://dx.doi.org/10.1007/978-1-4020-8297-9 |
Nota pública | de clik aquí para ver el libro electrónico |
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) | |
Tipo de ítem Koha | Libro Electrónico |
No hay ítems disponibles.