Computer Safety, Reliability, and Security: 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer International Publishing
[2015]
|
| Ausgabe: | 1st ed. |
| Schriftenreihe: | Lecture Notes in Computer Science
9337 |
| Schlagworte: | |
| Online-Zugang: | Volltext Abstract |
| Beschreibung: | XXII, 486 Seiten Illustrationen, Diagramme |
| ISBN: | 9783319242552 9783319242545 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-24255-2 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043209472 | ||
| 003 | DE-604 | ||
| 005 | 20200514 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151215s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319242552 |c Online |9 978-3-319-24255-2 | ||
| 020 | |a 9783319242545 |c Print |9 978-3-319-24254-5 | ||
| 024 | 7 | |a 10.1007/978-3-319-24255-2 |2 doi | |
| 035 | |a (OCoLC)932568685 | ||
| 035 | |a (DE-599)BVBBV043209472 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-384 |a DE-Aug4 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-29 |a DE-706 |a DE-20 |a DE-739 |a DE-92 |a DE-634 |a DE-860 |a DE-861 |a DE-355 | ||
| 082 | 0 | |a 005.1015113 |2 23 | |
| 084 | |a DAT 343f |2 stub | ||
| 084 | |a TEC 770f |2 stub | ||
| 084 | |a DAT 260f |2 stub | ||
| 084 | |a DAT 286f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Computer Safety, Reliability, and Security |b 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings |c edited by Floor Koornneef, Coen van Gulijk |
| 250 | |a 1st ed. | ||
| 264 | 1 | |a Cham |b Springer International Publishing |c [2015] | |
| 264 | 4 | |c © 2015 | |
| 300 | |a XXII, 486 Seiten |b Illustrationen, Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 9337 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer organization | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Computer security | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Application software | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Systems and Data Security | |
| 650 | 4 | |a Computer Applications | |
| 650 | 4 | |a Computer Systems Organization and Communication Networks | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software |0 (DE-588)4055382-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Software |0 (DE-588)4055382-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 | |
| 700 | 1 | |a Koornneef, Floor |d 1950- |0 (DE-588)122370295 |4 edt | |
| 711 | 2 | |a SAFECOMP |n 34. |d 2015 |c Delft |j Sonstige |0 (DE-588)1077229593 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9337 |w (DE-604)BV014880109 |9 9337 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-24255-2 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632633&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 940 | 1 | |q ZDB-2-LNC_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028632633 | ||
Datensatz im Suchindex
| _version_ | 1804175708482699264 |
|---|---|
| adam_text | COMPUTER SAFETY, RELIABILITY, AND SECURITY
/
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 34TH INTERNATIONAL
CONFERENCE ON COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2015,
HELD IN DELFT, THE NETHERLANDS, IN SEPTEMBER 2014. THE 32 REVISED FULL
PAPERS PRESENTED TOGETHER WITH 3 INVITED TALKS WERE CAREFULLY REVIEWED
AND SELECTED FROM 104 SUBMISSIONS. THE PAPERS ARE ORGANIZED IN TOPICAL
SECTIONS ON FLIGHT SYSTEMS, AUTOMOTIVE EMBEDDED SYSTEMS, AUTOMOTIVE
SOFTWARE, ERROR DETECTION, MEDICAL SAFETY CASES, MEDICAL SYSTEMS,
ARCHITECTURE AND TESTING, SAFETY CASES, SECURITY ATTACKS, CYBER SECURITY
AND INTEGRATION, AND PROGRAMMING AND COMPILING
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author2 | Koornneef, Floor 1950- |
| author2_role | edt |
| author2_variant | f k fk |
| author_GND | (DE-588)122370295 |
| author_facet | Koornneef, Floor 1950- |
| building | Verbundindex |
| bvnumber | BV043209472 |
| classification_tum | DAT 343f TEC 770f DAT 260f DAT 286f DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)932568685 (DE-599)BVBBV043209472 |
| dewey-full | 005.1015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1015113 |
| dewey-search | 005.1015113 |
| dewey-sort | 15.1015113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Technik Informatik |
| doi_str_mv | 10.1007/978-3-319-24255-2 |
| edition | 1st ed. |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03144nmm a2200757zcb4500</leader><controlfield tag="001">BV043209472</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200514 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151215s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319242552</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-24255-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319242545</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-24254-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-24255-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)932568685</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043209472</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1015113</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 343f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 770f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 260f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 286f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</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">34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings</subfield><subfield code="c">edited by Floor Koornneef, Coen van Gulijk</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">[2015]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXII, 486 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</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">9337</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer organization</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer security</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Application software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systems and Data Security</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Applications</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Systems Organization and Communication Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</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">Software</subfield><subfield code="0">(DE-588)4055382-6</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-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="700" ind1="1" ind2=" "><subfield code="a">Koornneef, Floor</subfield><subfield code="d">1950-</subfield><subfield code="0">(DE-588)122370295</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">SAFECOMP</subfield><subfield code="n">34.</subfield><subfield code="d">2015</subfield><subfield code="c">Delft</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1077229593</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">9337</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9337</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-24255-2</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632633&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028632633</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043209472 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:20:35Z |
| institution | BVB |
| institution_GND | (DE-588)1077229593 |
| isbn | 9783319242552 9783319242545 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028632633 |
| oclc_num | 932568685 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| physical | XXII, 486 Seiten Illustrationen, Diagramme |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer International Publishing |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings edited by Floor Koornneef, Coen van Gulijk 1st ed. Cham Springer International Publishing [2015] © 2015 XXII, 486 Seiten Illustrationen, Diagramme txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9337 0302-9743 Computer science Computer organization Software engineering Programming languages (Electronic computers) Computer security Computer logic Application software Computer Science Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Software Engineering Systems and Data Security Computer Applications Computer Systems Organization and Communication Networks Informatik Formale Methode (DE-588)4333722-3 gnd rswk-swf Software (DE-588)4055382-6 gnd rswk-swf Zuverlässigkeit (DE-588)4059245-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Software (DE-588)4055382-6 s Zuverlässigkeit (DE-588)4059245-5 s Formale Methode (DE-588)4333722-3 s DE-604 Koornneef, Floor 1950- (DE-588)122370295 edt SAFECOMP 34. 2015 Delft Sonstige (DE-588)1077229593 oth Lecture Notes in Computer Science 9337 (DE-604)BV014880109 9337 https://doi.org/10.1007/978-3-319-24255-2 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632633&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings Lecture Notes in Computer Science Computer science Computer organization Software engineering Programming languages (Electronic computers) Computer security Computer logic Application software Computer Science Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Software Engineering Systems and Data Security Computer Applications Computer Systems Organization and Communication Networks Informatik Formale Methode (DE-588)4333722-3 gnd Software (DE-588)4055382-6 gnd Zuverlässigkeit (DE-588)4059245-5 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4055382-6 (DE-588)4059245-5 (DE-588)1071861417 |
| title | Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings |
| title_auth | Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings |
| title_exact_search | Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings |
| title_full | Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings edited by Floor Koornneef, Coen van Gulijk |
| title_fullStr | Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings edited by Floor Koornneef, Coen van Gulijk |
| title_full_unstemmed | Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings edited by Floor Koornneef, Coen van Gulijk |
| title_short | Computer Safety, Reliability, and Security |
| title_sort | computer safety reliability and security 34th international conference safecomp 2015 delft the netherlands september 23 25 2015 proceedings |
| title_sub | 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings |
| topic | Computer science Computer organization Software engineering Programming languages (Electronic computers) Computer security Computer logic Application software Computer Science Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Software Engineering Systems and Data Security Computer Applications Computer Systems Organization and Communication Networks Informatik Formale Methode (DE-588)4333722-3 gnd Software (DE-588)4055382-6 gnd Zuverlässigkeit (DE-588)4059245-5 gnd |
| topic_facet | Computer science Computer organization Software engineering Programming languages (Electronic computers) Computer security Computer logic Application software Computer Science Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Software Engineering Systems and Data Security Computer Applications Computer Systems Organization and Communication Networks Informatik Formale Methode Software Zuverlässigkeit Konferenzschrift |
| url | https://doi.org/10.1007/978-3-319-24255-2 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632633&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT koornneeffloor computersafetyreliabilityandsecurity34thinternationalconferencesafecomp2015delftthenetherlandsseptember23252015proceedings AT safecompdelft computersafetyreliabilityandsecurity34thinternationalconferencesafecomp2015delftthenetherlandsseptember23252015proceedings |