| LDR | | | 00000nam a2200000 i 4500 |
| 001 | | | MAP20070029168 |
| 003 | | | MAP |
| 005 | | | 20220911193101.0 |
| 008 | | | 971215s1997 gbr 00010 eng d |
| 020 | | | $a3-540-76134-9 |
| 040 | | | $aMAP$bspa |
| 084 | | | $a80 |
| 245 | 1 | 0 | $aSafer systems$b: proceedings of the Fifth Safety-critical Systems Symposium, Brighton 1997$cFelix Redmill and Tom Anderson (Eds) |
| 260 | | | $aLondon$bSpringer$bFelix Redmill$c1997 |
| 300 | | | $a283 p.$c24 cm |
| 520 | | | $aSafety-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 |
| 650 | 1 | 1 | $0MAPA20080552619$aSeguridad |
| 650 | 1 | 1 | $0MAPA20080603700$aSeguridad de sistemas |
| 650 | 1 | 1 | $0MAPA20080554378$aFiabilidad |
| 650 | 1 | 1 | $0MAPA20080550233$aCongresos |
| 650 | 1 | 1 | $0MAPA20080571566$aCasos prácticos |
| 650 | 1 | 1 | $0MAPA20080604035$aSistemas informáticos |
| 650 | 1 | 1 | $0MAPA20080603038$aPrevención de riesgos |
| 650 | 1 | 1 | $0MAPA20080611200$aInteligencia artificial |
| 650 | 1 | 1 | $0MAPA20080562250$aError humano |
| 650 | 1 | 1 | $0MAPA20080601522$aEvaluación de riesgos |
| 650 | 1 | 1 | $0MAPA20080608118$aProgramas informáticos |
| 650 | 1 | 1 | $0MAPA20080611088$aIngeniería de seguridad |
| 700 | 1 | | $0MAPA20080113223$aRedmill, Felix |
| 700 | 1 | | $0MAPA20080060725$aAnderson, Tom |
| 711 | 2 | | $0MAPA20080488499$aSafety-critical Systems Symposium$n5º$d1997$cBrighton |
| 856 | | | $yMÁS INFORMACIÓN$umailto: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 |
