Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops (Record no. 86659)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 06485nam a22006975i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-030-83906-2 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240730165959.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 210805s2021 sz | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783030839062 |
| -- | 978-3-030-83906-2 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/978-3-030-83906-2 |
| Source of number or code | doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | TK7885-7895 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | TK5105.5-5105.9 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UK |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM067000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UK |
| Source | thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 621.39 |
| Edition number | 23 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 004.6 |
| Edition number | 23 |
| 245 10 - TITLE STATEMENT | |
| Title | Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops |
| Medium | [electronic resource] : |
| Remainder of title | DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings / |
| Statement of responsibility, etc. | edited by Ibrahim Habli, Mark Sujan, Simos Gerasimou, Erwin Schoitsch, Friedemann Bitsch. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2021. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Cham : |
| Name of producer, publisher, distributor, manufacturer | Springer International Publishing : |
| -- | Imprint: Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice | 2021. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | XV, 324 p. 119 illus., 98 illus. in color. |
| Other physical details | online resource. |
| 336 ## - CONTENT TYPE | |
| Content type term | text |
| Content type code | txt |
| Source | rdacontent |
| 337 ## - MEDIA TYPE | |
| Media type term | computer |
| Media type code | c |
| Source | rdamedia |
| 338 ## - CARRIER TYPE | |
| Carrier type term | online resource |
| Carrier type code | cr |
| Source | rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS | |
| File type | text file |
| Encoding format | |
| Source | rda |
| 490 1# - SERIES STATEMENT | |
| Series statement | Programming and Software Engineering, |
| International Standard Serial Number | 2945-9168 ; |
| Volume/sequential designation | 12853 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 16th International Workshop on Dependable Smart Cyber-Physical Systems and Systems-of-Systems (DECSoS 2021) -- Dependable Integration Concepts for Human-Centric AI-based Systems -- Rule-Based Threat Analysis and Mitigation for the Automotive Domain -- Guideline for Architectural Safety, Security and Privacy Implementations Using Design Patterns: SECREDAS Approach -- Structured Traceability of Security and Privacy Principles for Designing Safe Automated Systems -- Synchronisation of an Automotive Multi-Concern Development Process -- Offline Access to a Vehicle via PKI-based Authentication -- HEIFU - Hexa Exterior Intelligent Flying Unit -- Testing for IT Security: a Guided Search Pattern for Exploitable Vulnerability Classes -- Formal Modelling of the Impact of Cyber Attacks on Railway Safety -- LoRaWAN with HSM as a Security Improvement for Agriculture Applications - Evaluation -- 2nd International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical System (DepDevOps 2021) -- Towards Continuous Safety Assessment in Context of DevOps -- The Digital Twin as a Common Knowledge Base in DevOps to Support Continuous System Evolution -- 1st International Workshop on Multi-concern Assurance Practices in Software Design (MAPSOD 2021) -- An Accountability Approach to Resolve Multi-stakeholder Conflicts -- Architecture-Supported Audit Processor: Interactive, Query-Driven Assurance -- Towards Assurance-Driven Architectural Decomposition of Software Systems -- 2nd International Workshop on Underpinnings for Safe Distributed Artificial Intelligence (USDAI 2021) -- Integration of a RTT Prediction into a Multi-path Communication Gateway -- 4th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2021) -- Improving Robustness of Deep Neural Networks for Aerial Navigation by Incorporating Input Uncertainty -- No Free Lunch: Overcoming Reward Gaming in AI Safety Gridworlds -- Effect of Label Noise on Robustness of Deep Neural Network Object Detectors -- Human-in-the-Loop Learning Methods Toward Safe DL-based Autonomous Systems: A Review -- An Integrated Approach to a Safety Argumentation for AI-based Perception Functions in Automated Driving -- Experimental Evaluation on Conformance of UBER ATG Safety Case Framework to ANSI/UL 4600 -- Learning From AV Safety: Hope and Humility Shape Policy and Progress -- Levels of Autonomy & Safety Assurance for AI-based Clinical Decision Systems -- Certification Game for the Safety Analysis of AI-based CPS -- A New Approach to Better Consensus Building and Agreement Implementation for Trustworthy AI Systems. I. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2021, the 40th International Conference on Computer Safety, Reliability and Security, which took place in York, UK, in September 2021. The 26 regular papers included in this volume were carefully reviewed and selected from 34 submissions. The workshops included in this volume are: DECSoS 2021: 16th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems WAISE 2021: Fourth International Workshop on Artificial Intelligence Safety Engineering DepDevOps 2021: Second International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical Systems USDAI 2021: Second International Workshop on Underpinnings for Safe Distributed AI MAPSOD 2021: First International Workshop on Multi-concern Assurance Practices in Software Design. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer engineering. |
| 9 (RLIN) | 10164 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer networks . |
| 9 (RLIN) | 31572 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Software engineering. |
| 9 (RLIN) | 4138 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Application software. |
| 9 (RLIN) | 91479 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Robotics. |
| 9 (RLIN) | 2393 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Data protection. |
| 9 (RLIN) | 7245 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Microprogramming . |
| 9 (RLIN) | 32081 |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer Engineering and Networks. |
| 9 (RLIN) | 91480 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Software Engineering. |
| 9 (RLIN) | 4138 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer and Information Systems Applications. |
| 9 (RLIN) | 91481 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Robotics. |
| 9 (RLIN) | 2393 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Data and Information Security. |
| 9 (RLIN) | 31990 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Control Structures and Microprogramming. |
| 9 (RLIN) | 32083 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Habli, Ibrahim. |
| Relator term | editor. |
| Relationship | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 9 (RLIN) | 91482 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Sujan, Mark. |
| Relator term | editor. |
| Relationship | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 9 (RLIN) | 91483 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Gerasimou, Simos. |
| Relator term | editor. |
| Relationship | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 9 (RLIN) | 91484 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Schoitsch, Erwin. |
| Relator term | editor. |
| Authority record control number or standard number | (orcid) |
| Real World Object URI | 0000-0002-0335-5443 |
| Relationship | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 9 (RLIN) | 91485 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Bitsch, Friedemann. |
| Relator term | editor. |
| Authority record control number or standard number | (orcid) |
| Real World Object URI | 0000-0001-6152-4121 |
| Relationship | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 9 (RLIN) | 91486 |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 9 (RLIN) | 91487 |
| 773 0# - HOST ITEM ENTRY | |
| Title | Springer Nature eBook |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed edition: |
| International Standard Book Number | 9783030839055 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed edition: |
| International Standard Book Number | 9783030839079 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Programming and Software Engineering, |
| International Standard Serial Number | 2945-9168 ; |
| Volume/sequential designation | 12853 |
| 9 (RLIN) | 91488 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/978-3-030-83906-2">https://doi.org/10.1007/978-3-030-83906-2</a> |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 912 ## - | |
| -- | ZDB-2-SXCS |
| 912 ## - | |
| -- | ZDB-2-LNC |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks-Lecture Notes in CS |
No items available.