MARC details
| 000 -LEADER |
|---|
| fixed length control field |
06671cam a22008294a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocm57023473 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703143120.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr |n||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
040819s2004 gw a ob 100 0 eng c |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
COO |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
COO |
| Modifying agency |
QCL |
| -- |
BAKER |
| -- |
N$T |
| -- |
YDXCP |
| -- |
OCLCQ |
| -- |
DKDLA |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
GW5XE |
| -- |
OCLCF |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
UAB |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
VT2 |
| -- |
OCLCA |
| -- |
BUF |
| -- |
QE2 |
| -- |
WYU |
| -- |
OL$ |
| -- |
OCLCQ |
| -- |
HS0 |
| -- |
UWK |
| -- |
SXB |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCL |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
972114920 |
| Source |
DE-101 |
| 019 ## - |
|---|
| -- |
62349162 |
| -- |
144566155 |
| -- |
768063539 |
| -- |
990407493 |
| -- |
1005785785 |
| -- |
1055465998 |
| -- |
1066640696 |
| -- |
1081199026 |
| -- |
1162690572 |
| -- |
1164877479 |
| -- |
1166129462 |
| -- |
1173098270 |
| -- |
1173939874 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540301380 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540301387 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
3540231765 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783540231769 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/b100227. |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000051320157 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000051699279 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000058158745 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
14969753 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
15296580 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)57023473 |
| Canceled/invalid control number |
(OCoLC)62349162 |
| -- |
(OCoLC)144566155 |
| -- |
(OCoLC)768063539 |
| -- |
(OCoLC)990407493 |
| -- |
(OCoLC)1005785785 |
| -- |
(OCoLC)1055465998 |
| -- |
(OCoLC)1066640696 |
| -- |
(OCoLC)1081199026 |
| -- |
(OCoLC)1162690572 |
| -- |
(OCoLC)1164877479 |
| -- |
(OCoLC)1166129462 |
| -- |
(OCoLC)1173098270 |
| -- |
(OCoLC)1173939874 |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
pcc |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.76.R44 |
| Item number |
S23 2004 |
| 055 #3 - CLASSIFICATION NUMBERS ASSIGNED IN CANADA |
|---|
| Classification number |
QA75 |
| Item number |
.L38 no.3219 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM |
| Subject category code subdivision |
011000 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
Q |
| Source |
lcco |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UMZ. |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UL. |
| Source |
bicssc |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
004.2/4 |
| Edition number |
22 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
SAFECOMP 2004 |
| Date of meeting |
(2004 : |
| Location of meeting |
Potsdam, Germany) |
| 9 (RLIN) |
18511 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Computer safety, reliability, and security : |
| Remainder of title |
23rd international conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004 : proceedings / |
| Statement of responsibility, etc. |
Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann (eds.). |
| 246 30 - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
SAFECOMP 2004 |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin ; |
| -- |
New York : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
2004. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xi, 337 pages) : |
| Other physical details |
illustrations |
| 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 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
3219 |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the refereed proceedings of the 23rd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2004, held in Potsdam, Germany, in September 2004. The 24 revised full papers presented together with abstracts of 3 invited presentations were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on safety cases, reliability, human factors, transportation, software development, fault tree analysis, formal methods and systems, security and quality of services, and hazard and risk analysis. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and author index. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Invited Talk -- Why Safety and Security Should and Will Merge -- Safety Cases -- The Deconstruction of Safety Arguments Through Adversarial Counter-Argument -- Using Fuzzy Self-Organising Maps for Safety Critical Systems -- Using Formal Methods in a Retrospective Safety Case -- Reliability -- A Highly Fault Detectable Cache Architecture for Dependable Computing -- An Empirical Exploration of the Difficulty Function -- Towards the Integration of Fault, Resource, and Power Management -- Human Factors -- Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems -- Analysing Mode Confusion: An Approach Using FDR2 -- Invited Talk -- Handling Safety Critical Requirements in System Engineering Using the B Formal Method -- Transportation -- A Hybrid Testing Methodology for Railway Control Systems -- Actuator Based Hazard Analysis for Safety Critical Systems -- Performability Measures of the Public Mobile Network of a Tele Control System -- Software Development -- PLC-Based Safety Critical Software Development for Nuclear Power Plants -- Compositional Hazard Analysis of UML Component and Deployment Models -- Automatic Test Data Generation from Embedded C Code -- Fault Tree Analysis -- State-Event-Fault-Trees -- A Safety Analysis Model for Software Controlled Systems -- Safety Requirements and Fault Trees Using Retrenchment -- The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics -- Invited Talk -- Automotive Telematics -- Road Safety Versus IT Security? -- Formal Methods and Systems -- Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture -- Refinement of Fault Tolerant Control Systems in B -- Numerical Integration of PDEs for Safety Critical Applications Implemented by I & C Systems -- Security and Quality of Service -- An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth -- Dependability Benchmarking of Web-Servers -- Hazard and Risk Analysis -- An Approach for Model-Based Risk Assessment -- How Explicit Are the Barriers to Failure in Safety Arguments? |
| 546 ## - LANGUAGE NOTE |
|---|
| Language note |
English. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer software |
| General subdivision |
Reliability |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
18123 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Electronic digital computers |
| General subdivision |
Reliability |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
17211 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer security |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
14968 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Industrial safety |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
18512 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logiciels |
| General subdivision |
Fiabilité |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
26740 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Sécurité informatique |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
17411 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Sécurité du travail |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
27811 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
COMPUTERS |
| General subdivision |
Systems Architecture |
| -- |
General. |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
18220 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer security |
| Source of heading or term |
fast |
| 9 (RLIN) |
2191 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer software |
| General subdivision |
Reliability |
| Source of heading or term |
fast |
| 9 (RLIN) |
18125 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Electronic digital computers |
| General subdivision |
Reliability |
| Source of heading or term |
fast |
| 9 (RLIN) |
17212 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Industrial safety |
| Source of heading or term |
fast |
| 9 (RLIN) |
7647 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings |
| Source of term |
fast |
| 9 (RLIN) |
6065 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Heisel, Maritta. |
| 9 (RLIN) |
18513 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Liggesmeyer, Peter. |
| 9 (RLIN) |
18514 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Wittmann, Stefan. |
| 9 (RLIN) |
18515 |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
Computer safety, reliability, and security (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCH3t3tjvTHhyBmvGFqmfdP |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Main entry heading |
SAFECOMP 2004 (2004 : Potsdam, Germany). |
| Title |
Computer safety, reliability, and security. |
| Place, publisher, and date of publication |
Berlin ; New York : Springer, 2004 |
| International Standard Book Number |
3540231765 |
| Record control number |
(DLC) 2004112221 |
| -- |
(OCoLC)56583357 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
3219. |
| International Standard Serial Number |
0302-9743 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/b100227">https://link.springer.com/10.1007/b100227</a> |
| 938 ## - |
|---|
| -- |
Baker & Taylor |
| -- |
BKTY |
| -- |
67.00 |
| -- |
67.00 |
| -- |
3540231765 |
| -- |
0006112514 |
| -- |
active |
| 938 ## - |
|---|
| -- |
EBSCOhost |
| -- |
EBSC |
| -- |
143261 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
2367957 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |