Engineering Safe and Secure Cyber-Physical Systems : (Record no. 85519)

MARC details
000 -CABECERA
campo de control de longitud fija 02827nam a22003855i 4500
001 - NÚMERO DE CONTROL
campo de control 85519
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
campo de control ES-MaUEC
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control 20230207040514.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 160122s2016 gw | s |||| 0|eng d
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro 9783319289052
040 ## - FUENTE DE LA CATALOGACIÓN
Centro catalogador/agencia de origen ES-MaUEC
050 #4 - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO
Número de clasificación QA76.73.P
Número de documento/Ítem G869 2016
082 04 - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY
Número de clasificación 006.3
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA
Nombre de persona Gumzej, Roman
Número de control del registro de autoridad o número normalizado Local
9 (RLIN) 98541
245 10 - MENCIÓN DE TÍTULO
Título Engineering Safe and Secure Cyber-Physical Systems :
Resto del título The Specification PEARL Approach
Mención de responsabilidad, etc. by Roman Gumzej
250 ## - MENCIÓN DE EDICIÓN
Mención de edición 1st ed.
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC.
Lugar de publicación, distribución, etc. Cham
Nombre del editor, distribuidor, etc. Springer International Publishing
Fecha de publicación, distribución, etc. 2016
300 ## - DESCRIPCIÓN FÍSICA
Extensión 1 recurso en línea (XIII, 128 páginas)
Otras características físicas 28 ilustraciones en color
336 ## - TIPO DE CONTENIDO
Término de tipo de contenido Texto
Código de tipo de contenido txt
Fuente rdacontent
337 ## - TIPO DE MEDIO
Nombre/término del tipo de medio electrónico
Código del tipo de medio c
Fuente rdamedia
338 ## - TIPO DE SOPORTE
Nombre/término del tipo de soporte recurso electrónico
Código del tipo de soporte cr
Fuente rdacarrier
490 0# - MENCIÓN DE SERIE
Mención de serie Studies in Computational Intelligence
Número Internacional Normalizado para Publicaciones Seriadas 1860-949X
Designación de volumen o secuencia 632
505 0# - NOTA DE CONTENIDO CON FORMATO
Nota de contenido con formato Introduction -- Specification PEARL Language -- Specification PEARL Methodology -- UML 2 Profile for Specification PEARL.-UML Safety Pattern for Specification PEARL -- Specification PEARL Security -- Evaluation of the Methodology -- Conclusion.
520 3# - SUMARIO, ETC.
Sumario, etc. This book introduces the concept of holistic design and development of cyber physical systems to achieve their safe and secure operation. It shows that by following the standards for embedded system�s safety and using appropriate hardware and software components inherently safe system�s architectures can be devised and certified. While the standards already enable testing and certification of inherently safe and sound hardware, this is still not the case with software. The book demonstrates that Specification PEARL(SPEARL) addresses this issue and proposes appropriate solutions from the viewpoints of software engineering as well as concrete program components. By doing so it reduces the complexity of cyber physical systems design in an innovative way. Three ultimate goals are being followed in the course of defining this new PEARL standard, namely: 1. simplicity over complexity, 2. inherent real-time ability, and 3. conformity to safety integrity and security capability levels.
650 #7 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Programación en tiempo real
Número de control del registro de autoridad o número normalizado comprobar BNE19900997218
Fuente del encabezamiento o término embne
9 (RLIN) 665539
710 2# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE ENTIDAD CORPORATIVA
Nombre de entidad corporativa o nombre de jurisdicción como elemento de entrada SpringerLink (Online service)
Número de control del registro de autoridad o número normalizado Local
9 (RLIN) 106996
856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS
Identificador Uniforme del Recurso https://go.openathens.net/redirector/universidadeuropea.es?url=https://link.springer.com/book/10.1007/978-3-319-28905-2
Nota pública Acceso a este recurso digital (usuarios Universidad Europea de Madrid)
999 ## - NÚMEROS DE CONTROL DE SISTEMA (KOHA)
-- 1
901 ## - ID MILLENIUM
Id Millenium i9783319289052
907 ## - TRANSACCIONES MILLENIUM
id bib interno millenium .b12947970
fecha actualizac reg bib 10-10-17
fecha creacion reg bib 21-11-16
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA)
Fuente del sistema de clasificación o colocación Library of Congress Classification
Tipo de ítem Koha LIBRO-E NO PRÉSTAMO
945 ## - ITEM MILLENIUM
Signatura QA76.73.P G869 2016 EB
Número de copia 1
Código de barras eBOOK
Agencia 0
Localización del ejemplar (ubicación) mae
Código 2 (categoría) -
Precio EUR0.00
Mensaje (popup en cliente staff) -
Mensaje (visible en OPAC) -
Estado b
Tipo de ejemplar 15
Total de préstamos 0
Total de renovaciones 0
Préstamos del año en curso 0
Préstamos del año anterior 0
Identificador de la copia de ejemplar en Millennium .i11591481
Fecha de creación del ejemplar 06-04-17
988 ## - NOTA LOCAL 598
Nota local 598 EBOOK, asignarmaterias , EBSPRINGER
998 ## - FONDO MILLENIUM
Biblioteca m
-- _alco
-- _vill
Fecha creación - -
Tipo de registro m
Tipo de materia E-book
e -
Idioma eng
País gw
h 0
Holdings
Información adicional para el OPAC Usos internos Código 2 (categoría) Estado de pérdida Fuente del sistema de clasificación o colocación Tipo de material Código 1: Estado físico No se presta Código de colección Estado Localización permanente Ubicación/localización actual Ubicación en estantería Fecha de adquisición Precio Tipo de préstamo Total de préstamos Signatura topográfica completa Código de barras Fecha visto por última vez Id de ejemplar Millenium Precio válido a partir de Tipo de ítem Koha
Acceso concurrente   No retirado   Library of Congress Classification E-Libro Buen estado Acceso electrónico Ciencias e Ingeniería Acceso electrónico Madrid Digital Madrid Digital Acceso Electrónico (UEM) 06/04/2017 0.00 En línea   QA76.73.P G869 2016 EB eBOOK .i11591481 17/12/2017 .i11591481 17/12/2017 LIBRO-E NO PRÉSTAMO