Search

Safer systems : proceedings of the Fifth Safety-critical Systems Symposium, Brighton 1997

MARC record
Tag12Value
LDR  00000nam a2200000 i 4500
001  MAP20070029168
003  MAP
005  20220911193101.0
008  971215s1997 gbr 00010 eng d
020  ‎$a‎3-540-76134-9
040  ‎$a‎MAP‎$b‎spa
084  ‎$a‎80
24510‎$a‎Safer systems‎$b‎: proceedings of the Fifth Safety-critical Systems Symposium, Brighton 1997‎$c‎Felix Redmill and Tom Anderson (Eds)
260  ‎$a‎London‎$b‎Springer‎$b‎Felix Redmill‎$c‎1997
300  ‎$a‎283 p.‎$c‎24 cm
520  ‎$a‎Safety-critical systems -- Designing for safety -- Using a layered functional model to determine safety requirements -- Formal methods -- Artficial intelligence-Genuine hazards? -- How to improve safety critical systems standards -- Engineering cognitive diversity -- The PRICES Approach to human error -- The StAR Risk Adviser: physchological arguments for qualitative risk assessment -- Is there a role for third party software assessment in the automotive industry? -- Initial safety considerations for an advanced transport system -- Safer systems architectures for autonomous robots -- Increasing software integrity using functionally dissimilar monitoring -- Timing aspects of fault tree analysis of safety critical systems -- SACRES-Formalism for real projects -- Product monitoring for integrity and safety enhancement -- Multidisciplinary projects and technology exchange-The SEMSPLC experience
65011‎$0‎MAPA20080552619‎$a‎Seguridad
65011‎$0‎MAPA20080603700‎$a‎Seguridad de sistemas
65011‎$0‎MAPA20080554378‎$a‎Fiabilidad
65011‎$0‎MAPA20080550233‎$a‎Congresos
65011‎$0‎MAPA20080571566‎$a‎Casos prácticos
65011‎$0‎MAPA20080604035‎$a‎Sistemas informáticos
65011‎$0‎MAPA20080603038‎$a‎Prevención de riesgos
65011‎$0‎MAPA20080611200‎$a‎Inteligencia artificial
65011‎$0‎MAPA20080562250‎$a‎Error humano
65011‎$0‎MAPA20080601522‎$a‎Evaluación de riesgos
65011‎$0‎MAPA20080608118‎$a‎Programas informáticos
65011‎$0‎MAPA20080611088‎$a‎Ingeniería de seguridad
7001 ‎$0‎MAPA20080113223‎$a‎Redmill, Felix
7001 ‎$0‎MAPA20080060725‎$a‎Anderson, Tom
7112 ‎$0‎MAPA20080488499‎$a‎Safety-critical Systems Symposium‎$n‎‎$d‎1997‎$c‎Brighton
856  ‎$y‎MÁS INFORMACIÓN‎$u‎mailto:centrodocumentacion@fundacionmapfre.org?subject=Consulta%20de%20una%20publicaci%C3%B3n%20&body=Necesito%20m%C3%A1s%20informaci%C3%B3n%20sobre%20este%20documento%3A%20%0A%0A%5Banote%20aqu%C3%AD%20el%20titulo%20completo%20del%20documento%20del%20que%20desea%20informaci%C3%B3n%20y%20nos%20pondremos%20en%20contacto%20con%20usted%5D%20%0A%0AGracias%20%0A