Computer safety, reliability and security: 20th international conference, SAFECOMP 2001, Budapest, Hungary, September 26 - 28, 2001 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London
Springer
2001
|
| Schriftenreihe: | Lecture notes in computer science
2187 |
| Schlagworte: | |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XVI, 248 S. graph. Darst. |
| ISBN: | 3540426078 |
Internformat
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV013910220 | ||
| 003 | DE-604 | ||
| 005 | 20011108 | ||
| 007 | t | ||
| 008 | 010904s2001 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 962270571 |2 DE-101 | |
| 020 | |a 3540426078 |9 3-540-42607-8 | ||
| 035 | |a (OCoLC)48013791 | ||
| 035 | |a (DE-599)BVBBV013910220 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-739 |a DE-384 |a DE-703 |a DE-83 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA76.76.R44 | |
| 050 | 0 | |a TJ212.2 | |
| 082 | 0 | |a 005 |2 21 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 050f |2 stub | ||
| 084 | |a DAT 460f |2 stub | ||
| 245 | 1 | 0 | |a Computer safety, reliability and security |b 20th international conference, SAFECOMP 2001, Budapest, Hungary, September 26 - 28, 2001 ; proceedings |c Udo Voges (ed.) |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London |b Springer |c 2001 | |
| 300 | |a XVI, 248 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 2187 | |
| 500 | |a Literaturangaben | ||
| 650 | 7 | |a Computerbeveiliging |2 gtt | |
| 650 | 4 | |a Logiciels - Fiabilité - Congrès | |
| 650 | 4 | |a Ordinateurs - Fiabilité - Congrès | |
| 650 | 7 | |a Ordinateurs - Fiabilité - Congrès |2 ram | |
| 650 | 7 | |a Systèmes informatiques - Mesures de sûreté - Congrès |2 ram | |
| 650 | 4 | |a Sécurité du travail - Congrès | |
| 650 | 4 | |a Sécurité informatique - Congrès | |
| 650 | 7 | |a disponibilité système |2 inriac | |
| 650 | 7 | |a dépendance |2 inriac | |
| 650 | 7 | |a fiabilité |2 inriac | |
| 650 | 7 | |a intégrité donnée |2 inriac | |
| 650 | 7 | |a maintenance système |2 inriac | |
| 650 | 7 | |a méthode formelle |2 inriac | |
| 650 | 7 | |a système réactif |2 inriac | |
| 650 | 7 | |a sécurité système |2 inriac | |
| 650 | 7 | |a validation système |2 inriac | |
| 650 | 7 | |a vérification système |2 inriac | |
| 650 | 4 | |a Computer security |v Congresses | |
| 650 | 4 | |a Computer software |x Reliability |v Congresses | |
| 650 | 4 | |a Electronic digital computers |x Reliability |v Congresses | |
| 650 | 4 | |a Industrial safety |v Congresses | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Technische Sicherheit |0 (DE-588)4059233-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mensch-Maschine-Kommunikation |0 (DE-588)4125909-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systementwicklung |0 (DE-588)4126945-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2001 |z Budapest |2 gnd-content | |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 1 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |D s |
| 689 | 0 | 2 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Mensch-Maschine-Kommunikation |0 (DE-588)4125909-9 |D s |
| 689 | 1 | 1 | |a Technische Sicherheit |0 (DE-588)4059233-9 |D s |
| 689 | 1 | 2 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |D s |
| 689 | 1 | 3 | |a Systementwicklung |0 (DE-588)4126945-7 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Voges, Udo |e Sonstige |4 oth | |
| 711 | 2 | |a SAFECOMP |n 20 |d 2001 |c Budapest |j Sonstige |0 (DE-588)10026286-7 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 2187 |w (DE-604)BV000000607 |9 2187 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009517712 | ||
Datensatz im Suchindex
| _version_ | 1804128753139318784 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV013910220 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.R44 TJ212.2 |
| callnumber-search | QA76.76.R44 TJ212.2 |
| callnumber-sort | QA 276.76 R44 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 050f DAT 460f |
| ctrlnum | (OCoLC)48013791 (DE-599)BVBBV013910220 |
| dewey-full | 005 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005 |
| dewey-search | 005 |
| dewey-sort | 15 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03384nam a22008418cb4500</leader><controlfield tag="001">BV013910220</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20011108 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">010904s2001 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">962270571</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540426078</subfield><subfield code="9">3-540-42607-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)48013791</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013910220</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.R44</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">TJ212.2</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 050f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 460f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computer safety, reliability and security</subfield><subfield code="b">20th international conference, SAFECOMP 2001, Budapest, Hungary, September 26 - 28, 2001 ; proceedings</subfield><subfield code="c">Udo Voges (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London</subfield><subfield code="b">Springer</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 248 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2187</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computerbeveiliging</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logiciels - Fiabilité - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ordinateurs - Fiabilité - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ordinateurs - Fiabilité - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Systèmes informatiques - Mesures de sûreté - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Sécurité du travail - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Sécurité informatique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">disponibilité système</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">dépendance</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">fiabilité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">intégrité donnée</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">maintenance système</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">méthode formelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système réactif</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sécurité système</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">validation système</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">vérification système</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer security</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Reliability</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic digital computers</subfield><subfield code="x">Reliability</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Industrial safety</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Technische Sicherheit</subfield><subfield code="0">(DE-588)4059233-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mensch-Maschine-Kommunikation</subfield><subfield code="0">(DE-588)4125909-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2001</subfield><subfield code="z">Budapest</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Mensch-Maschine-Kommunikation</subfield><subfield code="0">(DE-588)4125909-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Technische Sicherheit</subfield><subfield code="0">(DE-588)4059233-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Voges, Udo</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">SAFECOMP</subfield><subfield code="n">20</subfield><subfield code="d">2001</subfield><subfield code="c">Budapest</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10026286-7</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2187</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2187</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009517712</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2001 Budapest gnd-content |
| genre_facet | Konferenzschrift 2001 Budapest |
| id | DE-604.BV013910220 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:54:15Z |
| institution | BVB |
| institution_GND | (DE-588)10026286-7 |
| isbn | 3540426078 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009517712 |
| oclc_num | 48013791 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 DE-384 DE-703 DE-83 DE-188 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-739 DE-384 DE-703 DE-83 DE-188 DE-706 |
| physical | XVI, 248 S. graph. Darst. |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Computer safety, reliability and security 20th international conference, SAFECOMP 2001, Budapest, Hungary, September 26 - 28, 2001 ; proceedings Udo Voges (ed.) Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2001 XVI, 248 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2187 Literaturangaben Computerbeveiliging gtt Logiciels - Fiabilité - Congrès Ordinateurs - Fiabilité - Congrès Ordinateurs - Fiabilité - Congrès ram Systèmes informatiques - Mesures de sûreté - Congrès ram Sécurité du travail - Congrès Sécurité informatique - Congrès disponibilité système inriac dépendance inriac fiabilité inriac intégrité donnée inriac maintenance système inriac méthode formelle inriac système réactif inriac sécurité système inriac validation système inriac vérification système inriac Computer security Congresses Computer software Reliability Congresses Electronic digital computers Reliability Congresses Industrial safety Congresses Formale Methode (DE-588)4333722-3 gnd rswk-swf Zuverlässigkeit (DE-588)4059245-5 gnd rswk-swf Technische Sicherheit (DE-588)4059233-9 gnd rswk-swf Mensch-Maschine-Kommunikation (DE-588)4125909-9 gnd rswk-swf Systementwicklung (DE-588)4126945-7 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2001 Budapest gnd-content Softwareentwicklung (DE-588)4116522-6 s Zuverlässigkeit (DE-588)4059245-5 s Formale Methode (DE-588)4333722-3 s DE-604 Mensch-Maschine-Kommunikation (DE-588)4125909-9 s Technische Sicherheit (DE-588)4059233-9 s Systementwicklung (DE-588)4126945-7 s Voges, Udo Sonstige oth SAFECOMP 20 2001 Budapest Sonstige (DE-588)10026286-7 oth Lecture notes in computer science 2187 (DE-604)BV000000607 2187 |
| spellingShingle | Computer safety, reliability and security 20th international conference, SAFECOMP 2001, Budapest, Hungary, September 26 - 28, 2001 ; proceedings Lecture notes in computer science Computerbeveiliging gtt Logiciels - Fiabilité - Congrès Ordinateurs - Fiabilité - Congrès Ordinateurs - Fiabilité - Congrès ram Systèmes informatiques - Mesures de sûreté - Congrès ram Sécurité du travail - Congrès Sécurité informatique - Congrès disponibilité système inriac dépendance inriac fiabilité inriac intégrité donnée inriac maintenance système inriac méthode formelle inriac système réactif inriac sécurité système inriac validation système inriac vérification système inriac Computer security Congresses Computer software Reliability Congresses Electronic digital computers Reliability Congresses Industrial safety Congresses Formale Methode (DE-588)4333722-3 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Technische Sicherheit (DE-588)4059233-9 gnd Mensch-Maschine-Kommunikation (DE-588)4125909-9 gnd Systementwicklung (DE-588)4126945-7 gnd Softwareentwicklung (DE-588)4116522-6 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4059245-5 (DE-588)4059233-9 (DE-588)4125909-9 (DE-588)4126945-7 (DE-588)4116522-6 (DE-588)1071861417 |
| title | Computer safety, reliability and security 20th international conference, SAFECOMP 2001, Budapest, Hungary, September 26 - 28, 2001 ; proceedings |
| title_auth | Computer safety, reliability and security 20th international conference, SAFECOMP 2001, Budapest, Hungary, September 26 - 28, 2001 ; proceedings |
| title_exact_search | Computer safety, reliability and security 20th international conference, SAFECOMP 2001, Budapest, Hungary, September 26 - 28, 2001 ; proceedings |
| title_full | Computer safety, reliability and security 20th international conference, SAFECOMP 2001, Budapest, Hungary, September 26 - 28, 2001 ; proceedings Udo Voges (ed.) |
| title_fullStr | Computer safety, reliability and security 20th international conference, SAFECOMP 2001, Budapest, Hungary, September 26 - 28, 2001 ; proceedings Udo Voges (ed.) |
| title_full_unstemmed | Computer safety, reliability and security 20th international conference, SAFECOMP 2001, Budapest, Hungary, September 26 - 28, 2001 ; proceedings Udo Voges (ed.) |
| title_short | Computer safety, reliability and security |
| title_sort | computer safety reliability and security 20th international conference safecomp 2001 budapest hungary september 26 28 2001 proceedings |
| title_sub | 20th international conference, SAFECOMP 2001, Budapest, Hungary, September 26 - 28, 2001 ; proceedings |
| topic | Computerbeveiliging gtt Logiciels - Fiabilité - Congrès Ordinateurs - Fiabilité - Congrès Ordinateurs - Fiabilité - Congrès ram Systèmes informatiques - Mesures de sûreté - Congrès ram Sécurité du travail - Congrès Sécurité informatique - Congrès disponibilité système inriac dépendance inriac fiabilité inriac intégrité donnée inriac maintenance système inriac méthode formelle inriac système réactif inriac sécurité système inriac validation système inriac vérification système inriac Computer security Congresses Computer software Reliability Congresses Electronic digital computers Reliability Congresses Industrial safety Congresses Formale Methode (DE-588)4333722-3 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Technische Sicherheit (DE-588)4059233-9 gnd Mensch-Maschine-Kommunikation (DE-588)4125909-9 gnd Systementwicklung (DE-588)4126945-7 gnd Softwareentwicklung (DE-588)4116522-6 gnd |
| topic_facet | Computerbeveiliging Logiciels - Fiabilité - Congrès Ordinateurs - Fiabilité - Congrès Systèmes informatiques - Mesures de sûreté - Congrès Sécurité du travail - Congrès Sécurité informatique - Congrès disponibilité système dépendance fiabilité intégrité donnée maintenance système méthode formelle système réactif sécurité système validation système vérification système Computer security Congresses Computer software Reliability Congresses Electronic digital computers Reliability Congresses Industrial safety Congresses Formale Methode Zuverlässigkeit Technische Sicherheit Mensch-Maschine-Kommunikation Systementwicklung Softwareentwicklung Konferenzschrift 2001 Budapest |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT vogesudo computersafetyreliabilityandsecurity20thinternationalconferencesafecomp2001budapesthungaryseptember26282001proceedings AT safecompbudapest computersafetyreliabilityandsecurity20thinternationalconferencesafecomp2001budapesthungaryseptember26282001proceedings |