Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 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
9338 |
| Schlagworte: | |
| Online-Zugang: | Volltext Abstract |
| Beschreibung: | (XXXVI, 422 Seiten Illustrationen, Diagramme |
| ISBN: | 9783319242491 9783319242484 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-24249-1 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043209475 | ||
| 003 | DE-604 | ||
| 005 | 20200514 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151215s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319242491 |c Online |9 978-3-319-24249-1 | ||
| 020 | |a 9783319242484 |c Print |9 978-3-319-24248-4 | ||
| 024 | 7 | |a 10.1007/978-3-319-24249-1 |2 doi | |
| 035 | |a (OCoLC)932568707 | ||
| 035 | |a (DE-599)BVBBV043209475 | ||
| 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 TEC 770f |2 stub | ||
| 084 | |a DAT 343f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 286f |2 stub | ||
| 084 | |a DAT 260f |2 stub | ||
| 245 | 1 | 0 | |a Computer Safety, Reliability, and Security |b SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 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 (XXXVI, 422 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 9338 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer organization | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Computer security | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Systems and Data Security | |
| 650 | 4 | |a Computer Systems Organization and Communication Networks | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Software |0 (DE-588)4055382-6 |2 gnd |9 rswk-swf |
| 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 |
| 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 9338 |w (DE-604)BV014880109 |9 9338 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-24249-1 |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=028632636&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-028632636 | ||
Datensatz im Suchindex
| _version_ | 1804175708460679168 |
|---|---|
| adam_text | COMPUTER SAFETY, RELIABILITY, AND SECURITY
/
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF 5 WORKSHOPS CO-LOCATED
WITH SAFECOMP 2015, THE 34TH INTERNATIONAL CONFERENCE ON COMPUTER
SAFETY, RELIABILITY, AND SECURITY, HELD IN DELFT, THE NETHERLANDS, IN
SEPTEMBER 2015. THE 36 REVISED FULL PAPERS PRESENTED WERE CAREFULLY
REVIEWED AND SELECTED FROM NUMEROUS SUBMISSIONS. THIS YEAR’S WORKSHOP
ARE: ASSURE 2015 - ASSURANCE CASES FOR SOFTWARE-INTENSIVE SYSTEMS;
DECSOS 15 - EWICS/ERCIM/ARTEMIS DEPENDABLE CYBER-PHYSICAL SYSTEMS AND
SYSTEMS-OF-SYSTEMS WORKSHOP; ISSE 15 - INTERNATIONAL WORKSHOP ON THE
INTEGRATION OF SAFETY AND SECURITY ENGINEERING; RESA4CI 2015 -
INTERNATIONAL WORKSHOP ON RELIABILITY AND SECURITY ASPECTS FOR CRITICAL
INFRASTRUCTURE PROTECTION; SASSUR 2015 - INTERNATIONAL WORKSHOP ON NEXT
GENERATION OF SYSTEM ASSURANCE APPROACHES FOR SAFETY-CRITICAL SYSTEMS.
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 | BV043209475 |
| classification_tum | TEC 770f DAT 343f DAT 000 DAT 286f DAT 260f |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)932568707 (DE-599)BVBBV043209475 |
| 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-24249-1 |
| 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>02966nmm a2200709zcb4500</leader><controlfield tag="001">BV043209475</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">9783319242491</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-24249-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319242484</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-24248-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-24249-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)932568707</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043209475</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">TEC 770f</subfield><subfield code="2">stub</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">DAT 000</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 260f</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">SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 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">(XXXVI, 422 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">9338</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">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">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">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 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">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">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="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">9338</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9338</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-24249-1</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=028632636&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-028632636</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043209475 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:20:35Z |
| institution | BVB |
| institution_GND | (DE-588)1077229593 |
| isbn | 9783319242491 9783319242484 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028632636 |
| oclc_num | 932568707 |
| 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 | (XXXVI, 422 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 SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings edited by Floor Koornneef, Coen van Gulijk 1st ed. Cham Springer International Publishing [2015] © 2015 (XXXVI, 422 Seiten Illustrationen, Diagramme txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9338 0302-9743 Computer science Computer organization Software engineering Computer security Computer logic Computer Science Logics and Meanings of Programs Software Engineering Systems and Data Security Computer Systems Organization and Communication Networks Informatik Software (DE-588)4055382-6 gnd rswk-swf Formale Methode (DE-588)4333722-3 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 9338 (DE-604)BV014880109 9338 https://doi.org/10.1007/978-3-319-24249-1 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632636&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Computer Safety, Reliability, and Security SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings Lecture Notes in Computer Science Computer science Computer organization Software engineering Computer security Computer logic Computer Science Logics and Meanings of Programs Software Engineering Systems and Data Security Computer Systems Organization and Communication Networks Informatik Software (DE-588)4055382-6 gnd Formale Methode (DE-588)4333722-3 gnd Zuverlässigkeit (DE-588)4059245-5 gnd |
| subject_GND | (DE-588)4055382-6 (DE-588)4333722-3 (DE-588)4059245-5 (DE-588)1071861417 |
| title | Computer Safety, Reliability, and Security SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings |
| title_auth | Computer Safety, Reliability, and Security SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings |
| title_exact_search | Computer Safety, Reliability, and Security SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings |
| title_full | Computer Safety, Reliability, and Security SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings edited by Floor Koornneef, Coen van Gulijk |
| title_fullStr | Computer Safety, Reliability, and Security SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings edited by Floor Koornneef, Coen van Gulijk |
| title_full_unstemmed | Computer Safety, Reliability, and Security SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings edited by Floor Koornneef, Coen van Gulijk |
| title_short | Computer Safety, Reliability, and Security |
| title_sort | computer safety reliability and security safecomp 2015 workshops assure decsos isse resa4ci and sassur delft the netherlands september 22 2015 proceedings |
| title_sub | SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings |
| topic | Computer science Computer organization Software engineering Computer security Computer logic Computer Science Logics and Meanings of Programs Software Engineering Systems and Data Security Computer Systems Organization and Communication Networks Informatik Software (DE-588)4055382-6 gnd Formale Methode (DE-588)4333722-3 gnd Zuverlässigkeit (DE-588)4059245-5 gnd |
| topic_facet | Computer science Computer organization Software engineering Computer security Computer logic Computer Science Logics and Meanings of Programs Software Engineering Systems and Data Security Computer Systems Organization and Communication Networks Informatik Software Formale Methode Zuverlässigkeit Konferenzschrift |
| url | https://doi.org/10.1007/978-3-319-24249-1 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632636&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT koornneeffloor computersafetyreliabilityandsecuritysafecomp2015workshopsassuredecsosisseresa4ciandsassurdelftthenetherlandsseptember222015proceedings AT safecompdelft computersafetyreliabilityandsecuritysafecomp2015workshopsassuredecsosisseresa4ciandsassurdelftthenetherlandsseptember222015proceedings |