MARC details
| 000 -LEADER |
|---|
| fixed length control field |
08140cam a2200877 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn756838812 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703160906.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 cn||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
111013s2011 gw a ob 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
GW5XE |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
GW5XE |
| Modifying agency |
GZM |
| -- |
E7B |
| -- |
UKMGB |
| -- |
OCLCQ |
| -- |
OCLCA |
| -- |
OCLCF |
| -- |
BEDGE |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
COO |
| -- |
A7U |
| -- |
YDXCP |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
EBLCP |
| -- |
OCLCQ |
| -- |
VGM |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
SHS |
| -- |
IOG |
| -- |
OCLCA |
| -- |
CEF |
| -- |
TFW |
| -- |
U3W |
| -- |
YOU |
| -- |
CNTRU |
| -- |
OCLCQ |
| -- |
AJS |
| -- |
UKAHL |
| -- |
DKU |
| -- |
COM |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCL |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
015895770 |
| Source |
Uk |
| 019 ## - |
|---|
| -- |
769769497 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783642242700 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3642242707 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3642242693 |
| Qualifying information |
(pbk. ; |
| -- |
alk. paper) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783642242694 |
| Qualifying information |
(pbk. ; |
| -- |
alk. paper) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783642242694 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-642-24270-0 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000048657301 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
384339220 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
13930142 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
13940645 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000068697411 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
DKDLA |
| System control number |
820120-katalog:999888179605765 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)756838812 |
| Canceled/invalid control number |
(OCoLC)769769497 |
| 037 ## - SOURCE OF ACQUISITION |
|---|
| Stock number |
978-3-642-24269-4 |
| Source of stock number/acquisition |
Springer |
| Note |
http://www.springerlink.com |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.76.R44 |
| Item number |
I58 2011 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UR |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UTN |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM053000 |
| Source |
bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
004 |
| Edition number |
23 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
SAFECOMP (Conference) |
| Number of part/section/meeting |
(30th : |
| Date of meeting |
2011 : |
| Location of meeting |
Naples, Italy) |
| 9 (RLIN) |
42973 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Computer safety, reliability, and security : |
| Remainder of title |
30th international conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011 : proceedings / |
| Statement of responsibility, etc. |
Francesco Flammini, Sandro Bologna, Valeria Vittorini (eds.). |
| 246 3# - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
SAFECOMP 2011 |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin ; |
| -- |
New York : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
©2011. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xiv, 482 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 |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| Encoding format |
PDF |
| Source |
rda |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
6894 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
LNCS sublibrary. SL 2, Programming and software engineering |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and author index. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the refereed proceedings of the 30th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2011, held in Naples, Italy, in September 2011. The 34 full papers presented together were carefully reviewed and selected from 100 submissions. The papers are organized in topical sections on RAM evaluation, complex systems dependability, formal verification, risk and hazard analysis, cybersecurity and optimization methods. |
| 505 00 - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Machine generated contents note: |
| Miscellaneous information |
Session 1 |
| Title |
Ram Evaluation -- |
| -- |
Effect of Correlated Failure Rates on Reliability of Continuous Time 1-Out-of-2 Software / |
| Statement of responsibility |
Gabriele Manno -- |
| Title |
Model-Driven Availability Evaluation of Railway Control Systems / |
| Statement of responsibility |
Valeria Vittorini -- |
| Miscellaneous information |
Session 2 |
| Title |
Complex Systems Dependability 1 -- |
| -- |
Vertical Safety Interfaces -- Improving the Efficiency of Modular Certification / |
| Statement of responsibility |
Mario Trapp -- |
| Title |
DALculus -- Theory and Tool for Development Assurance Level Allocation / |
| Statement of responsibility |
Christel Seguin -- |
| Title |
Towards Cross-Domains Model-Based Safety Process, Methods and Tools for Critical Embedded Systems: The CESAR Approach / |
| Statement of responsibility |
Tormod Wien -- |
| Miscellaneous information |
Session 3 |
| Title |
Formal Verification 1 -- |
| -- |
From Probabilistic Counterexamples via Causality to Fault Trees / |
| Statement of responsibility |
Stefan Leue -- |
| Title |
Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software / |
| Statement of responsibility |
Samuel Mimram -- |
| Miscellaneous information |
Session 4 |
| Title |
Risk and Hazard Analysis -- |
| -- |
Evolutionary Risk Analysis: Expert Judgement / |
| Statement of responsibility |
Alessandra Tedeschi -- |
| Title |
Computer-Aided PHA, FTA and FMEA for Automotive Embedded Systems / |
| Statement of responsibility |
Reinhold Weiß -- |
| Miscellaneous information |
Session 5 |
| Title |
Cybersecurity -- |
| -- |
Statistical Anomaly-Based Algorithm for On-line Fault Detection in Complex Software Critical Systems / |
| Statement of responsibility |
Andrea Bondavalli -- |
| Title |
Security Analysis of Smart Grid Data Collection Technologies / |
| Statement of responsibility |
Luigi Romano -- |
| Miscellaneous information |
Session 6 |
| Title |
RAM Evaluation 2 -- |
| -- |
Modeling Aircraft Operational Reliability / |
| Statement of responsibility |
Chris Papadopoulos -- |
| Title |
Integrated Approach for Availability and QoS Evaluation in Railway Systems / |
| Statement of responsibility |
Pietro Marmo -- |
| Miscellaneous information |
Session 7 |
| Title |
Case Studies -- |
| -- |
Using a Software Safety Argument Pattern Catalogue: Two Case Studies / |
| Statement of responsibility |
Tim Kelly -- |
| Title |
Integration of a System for Critical Infrastructure Protection with the OSSIM SIEM Platform: A Dam Case Study / |
| Statement of responsibility |
Luigi Romano -- |
| Title |
Case Study on State-Based Robustness Testing of an Operating System for the Avionic Domain / |
| Statement of responsibility |
Roberto Pietrantuono -- |
| Miscellaneous information |
Session 8 |
| Title |
Formal Verification 2 |
| 505 00 - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Note continued: |
| Title |
Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems / |
| Statement of responsibility |
Mike Jump -- |
| Title |
Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT / |
| Statement of responsibility |
Paul Pettersson -- |
| Title |
Poster Session -- |
| -- |
Establishing Confidence in the Usage of Software Tools in Context of ISO 26262 / |
| Statement of responsibility |
Christian Peer -- |
| Title |
Fault-Based Generation of Test Cases from UML-Models -- Approach and Some Experiences / |
| Statement of responsibility |
Elisabeth Jobstl -- |
| Title |
ISO/IEC 15504-10: Motivations for Another Safety Standard / |
| Statement of responsibility |
Mario Fusani -- |
| Title |
Automatic Synthesis of SRN Models from System Operation Templates for Availability Analysis / |
| Statement of responsibility |
Yoshiharu Maeno -- |
| Title |
Collaborative Event Processing System for Protection of Critical Infrastructures from Cyber Attacks / |
| Statement of responsibility |
Roberto Baldoni -- |
| Title |
Fault-Tolerant, Dynamically Scheduled Pipeline Structure for Chip Multiprocessors / |
| Statement of responsibility |
Hamid Reza Zarandi -- ^ |
| Title |
FloGuard: Cost-Aware Systemwide Intrusion Defense via Online Forensics and On-Demand IDS Deployment / |
| Statement of responsibility |
William H. Sanders -- |
| Title |
Reducing Complexity of Data Flow Testing in the Verification of a IEC-62304 Flexible Workflow System / |
| Statement of responsibility |
Enrico Vicario -- |
| Title |
Improvement of Processes and Methods in Testing Activities for Safety-Critical Embedded Systems / |
| Statement of responsibility |
Alessio Venticinque -- |
| Miscellaneous information |
Session 9 |
| Title |
Formal Verification 3 -- |
| -- |
On the Adoption of Model Checking in Safety-Related Software Industry / |
| Statement of responsibility |
Stefania Gnesi -- |
| Title |
Equivalence Checking between Function Block Diagrams and C Programs Using HW-CBMC / |
| Statement of responsibility |
Jang-Soo Lee -- |
| Title |
Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models / |
| Statement of responsibility |
Enrico Vicario -- |
| Miscellaneous information |
Session 10 |
| Title |
Optimization Methods -- |
| -- |
Model-Based Multi-objective Safety Optimization / |
| Statement of responsibility |
Frank Ortmeier -- |
| Title |
Tradeoff Exploration between Reliability, Power Consumption, and Execution Time / |
| Statement of responsibility |
Hamoudi Kalla -- |
| Miscellaneous information |
Session 11 |
| Title |
Complex Systems Dependability 2 -- ^ |
| -- |
Criticality-Driven Component Integration in Complex Software Systems / |
| Statement of responsibility |
Stefano Russo |
| 505 00 - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Note continued: |
| Title |
On the Use of Semantic Technologies to Model and Control Security, Privacy and Dependability in Complex Systems / |
| Statement of responsibility |
Francesco Flammini. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computers |
| General subdivision |
Reliability |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
25116 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer security |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
14968 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Ordinateurs |
| General subdivision |
Fiabilité |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
25894 |
| 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 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Informatique. |
| Source of heading or term |
eclas |
| 9 (RLIN) |
14930 |
| 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 |
Computers |
| General subdivision |
Reliability |
| Source of heading or term |
fast |
| 9 (RLIN) |
23222 |
| 655 #2 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Congress |
| 9 (RLIN) |
11670 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
proceedings (reports) |
| Source of term |
aat |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings |
| Source of term |
fast |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings. |
| Source of term |
lcgft |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Actes de congrès. |
| Source of term |
rvmgf |
| 9 (RLIN) |
609890 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Flammini, Francesco. |
| 9 (RLIN) |
42974 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Bologna, Sandro. |
| 9 (RLIN) |
21434 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Vittorini, Valeria. |
| 9 (RLIN) |
42975 |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
Computer safety, reliability, and security (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCGwTtH6yBKhwJQJGDvm9Kq |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Printed edition: |
| International Standard Book Number |
9783642242694 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
6894. |
| International Standard Serial Number |
0302-9743 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
LNCS sublibrary. |
| Number of part/section of a work |
SL 2, |
| Name of part/section of a work |
Programming and software engineering. |
| 9 (RLIN) |
20654 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/978-3-642-24270-0">https://link.springer.com/10.1007/978-3-642-24270-0</a> |
| 938 ## - |
|---|
| -- |
Askews and Holts Library Services |
| -- |
ASKH |
| -- |
AH26854142 |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL3067185 |
| 938 ## - |
|---|
| -- |
ebrary |
| -- |
EBRY |
| -- |
ebr10497061 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
7167806 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |