Search

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

<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.loc.gov/MARC21/slim http://www.loc.gov/standards/marcxml/schema/MARC21slim.xsd">
  <record>
    <leader>00000nam a2200000 i 4500</leader>
    <controlfield tag="001">MAP20070029168</controlfield>
    <controlfield tag="003">MAP</controlfield>
    <controlfield tag="005">20220911193101.0</controlfield>
    <controlfield tag="008">971215s1997    gbr           00010 eng d</controlfield>
    <datafield tag="020" ind1=" " ind2=" ">
      <subfield code="a">3-540-76134-9</subfield>
    </datafield>
    <datafield tag="040" ind1=" " ind2=" ">
      <subfield code="a">MAP</subfield>
      <subfield code="b">spa</subfield>
    </datafield>
    <datafield tag="084" ind1=" " ind2=" ">
      <subfield code="a">80</subfield>
    </datafield>
    <datafield tag="245" ind1="1" ind2="0">
      <subfield code="a">Safer systems</subfield>
      <subfield code="b">: proceedings of the Fifth Safety-critical Systems Symposium, Brighton 1997</subfield>
      <subfield code="c">Felix Redmill and Tom Anderson (Eds)</subfield>
    </datafield>
    <datafield tag="260" ind1=" " ind2=" ">
      <subfield code="a">London</subfield>
      <subfield code="b">Springer</subfield>
      <subfield code="b">Felix Redmill</subfield>
      <subfield code="c">1997</subfield>
    </datafield>
    <datafield tag="300" ind1=" " ind2=" ">
      <subfield code="a">283 p.</subfield>
      <subfield code="c">24 cm</subfield>
    </datafield>
    <datafield tag="520" ind1=" " ind2=" ">
      <subfield code="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</subfield>
    </datafield>
    <datafield tag="650" ind1="1" ind2="1">
      <subfield code="0">MAPA20080552619</subfield>
      <subfield code="a">Seguridad</subfield>
    </datafield>
    <datafield tag="650" ind1="1" ind2="1">
      <subfield code="0">MAPA20080603700</subfield>
      <subfield code="a">Seguridad de sistemas</subfield>
    </datafield>
    <datafield tag="650" ind1="1" ind2="1">
      <subfield code="0">MAPA20080554378</subfield>
      <subfield code="a">Fiabilidad</subfield>
    </datafield>
    <datafield tag="650" ind1="1" ind2="1">
      <subfield code="0">MAPA20080550233</subfield>
      <subfield code="a">Congresos</subfield>
    </datafield>
    <datafield tag="650" ind1="1" ind2="1">
      <subfield code="0">MAPA20080571566</subfield>
      <subfield code="a">Casos prácticos</subfield>
    </datafield>
    <datafield tag="650" ind1="1" ind2="1">
      <subfield code="0">MAPA20080604035</subfield>
      <subfield code="a">Sistemas informáticos</subfield>
    </datafield>
    <datafield tag="650" ind1="1" ind2="1">
      <subfield code="0">MAPA20080603038</subfield>
      <subfield code="a">Prevención de riesgos</subfield>
    </datafield>
    <datafield tag="650" ind1="1" ind2="1">
      <subfield code="0">MAPA20080611200</subfield>
      <subfield code="a">Inteligencia artificial</subfield>
    </datafield>
    <datafield tag="650" ind1="1" ind2="1">
      <subfield code="0">MAPA20080562250</subfield>
      <subfield code="a">Error humano</subfield>
    </datafield>
    <datafield tag="650" ind1="1" ind2="1">
      <subfield code="0">MAPA20080601522</subfield>
      <subfield code="a">Evaluación de riesgos</subfield>
    </datafield>
    <datafield tag="650" ind1="1" ind2="1">
      <subfield code="0">MAPA20080608118</subfield>
      <subfield code="a">Programas informáticos</subfield>
    </datafield>
    <datafield tag="650" ind1="1" ind2="1">
      <subfield code="0">MAPA20080611088</subfield>
      <subfield code="a">Ingeniería de seguridad</subfield>
    </datafield>
    <datafield tag="700" ind1="1" ind2=" ">
      <subfield code="0">MAPA20080113223</subfield>
      <subfield code="a">Redmill, Felix</subfield>
    </datafield>
    <datafield tag="700" ind1="1" ind2=" ">
      <subfield code="0">MAPA20080060725</subfield>
      <subfield code="a">Anderson, Tom</subfield>
    </datafield>
    <datafield tag="711" ind1="2" ind2=" ">
      <subfield code="0">MAPA20080488499</subfield>
      <subfield code="a">Safety-critical Systems Symposium</subfield>
      <subfield code="n">5º</subfield>
      <subfield code="d">1997</subfield>
      <subfield code="c">Brighton</subfield>
    </datafield>
    <datafield tag="856" ind1=" " ind2=" ">
      <subfield code="y">MÁS INFORMACIÓN</subfield>
      <subfield code="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</subfield>
    </datafield>
  </record>
  <record>
    <leader>00000nxm a22000001n 4500</leader>
    <controlfield tag="001">MAPF20080253646</controlfield>
    <controlfield tag="003">MAPF</controlfield>
    <controlfield tag="004">MAP20070029168</controlfield>
    <controlfield tag="005">20080417210637.0</controlfield>
    <controlfield tag="008">0804170u    8   0001bbspa0080417</controlfield>
    <datafield tag="040" ind1=" " ind2=" ">
      <subfield code="a">MAP</subfield>
      <subfield code="b">spa</subfield>
    </datafield>
    <datafield tag="852" ind1=" " ind2=" ">
      <subfield code="a">MAP</subfield>
      <subfield code="9">024222</subfield>
      <subfield code="p">0000024222000</subfield>
      <subfield code="h">80-SAF-SAF</subfield>
    </datafield>
  </record>
</collection>