close
1.

図書
図書
1. Computer safety, reliability, and security : 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004 : proceedings
Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann (eds.)
出版情報: Berlin : Springer, c2004  xi, 337 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3219
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Why Safety and Security Should and Will Merge / A. Pfitzmann
Safety Cases
The Deconstruction of Safety Arguments Through Adversarial Counter-Argument / J.M. Armstrong ; S.E. Paynter
Using Fuzzy Self-Organising Maps for Safety Critical Systems / Z. Kurd ; T.P. Kelly
Using Formal Methods in a Retrospective Safety Case / L.-H. Eriksson
Reliability
A Highly Fault Detectable Cache Architecture for Dependable Computing / H.R. Zarandi ; S.G. Miremadi
An Empirical Exploration of the Difficulty Function / J.G.W. Bentley ; P.G. Bishop ; M. van der Meulen
Towards the Integration of Fault, Resource, and Power Management / T. Saridakis
Human Factors
Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems / M. Cebulla
Analysing Mode Confusion: An Approach Using FDR2 / B. Buth
Handling Safety Critical Requirements in System Engineering Using the B Formal Method / D. Essame
Transportation
A Hybrid Testing Methodology for Railway Control Systems / G. De Nicola ; P. di Tommaso ; R. Esposito ; F. Flammini ; A. Orazzo
Actuator Based Hazard Analysis for Safety Critical Systems / P. Johannessen ; F. Torner ; J. Torin
Performability Measures of the Public Mobile Network of a Tele Control System / E. Ciancamerla ; M. Minichino
Software Development
PLC-Based Safety Critical Software Development for Nuclear Power Plants / J. Yoo ; S. Cha ; H.S. Son ; C.H. Kim ; J.-S. Lee
Compositional Hazard Analysis of UML Component and Deployment Models / H. Giese ; M. Tichy ; D. Schilling
Automatic Test Data Generation from Embedded C Code / E. Dillon ; C. Meudec
Fault Tree Analysis
State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled Systems / B. Kaiser ; C. Gramlich
Safety Requirements and Fault Trees Using Retrenchment / R. Banach ; R. Cross
The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics / D. Rehage ; U.B. Carl ; M. Merkel ; A. Vahl
Automotive Telematics - Road Safety Versus IT Security? / R.G. Herrtwich
Formal Methods and Systems
Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture / H. Pfeifer ; F.W. von Henke
Refinement of Fault Tolerant Control Systems in B / L. Laibinis ; E. Troubitsyna
Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems / M. Vollmer
Security and Quality of Service
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth / A. Aldini ; M. Bernardo
Dependability Benchmarking of Web-Servers / J. Duraes ; M. Vieira ; H. Madeira
Hazard and Risk Analysis
An Approach for Model-Based Risk Assessment / B.A. Gran ; R. Fredriksen ; A.P.-J. Thunem
How Explicit Are the Barriers to Failure in Safety Arguments? / S.P. Smith ; M.D. Harrison ; B.A. Schupp
Author Index
Invited Talk
Why Safety and Security Should and Will Merge / A. Pfitzmann
Safety Cases
2.

図書
図書
2. International Conference on Pressure Systems: Operation and Risk Management, 24-25 October 1995
organized by the Pressure Systems Group of the Institution of Mechanical Engineers ; with the support of: ASME ... [et al.]
出版情報: London : Mechanical Engineering Publications for The Institution of Mechanical Engineers, 1995  205p ; 25cm
シリーズ名: IMechE conference transactions ; 1995-4
所蔵情報: loading…
3.

図書
図書
3. Conference on Emergency Planning and Management : 21-22 November 1995
organized by the Institution of Mechanical Engineers in association with the Hazards Forum ; co-sponsored by The Emergency Planning Society ... [et al.]
出版情報: London : Mechanical Engineering Publications for The Institution of Mechanical Engineers, 1995  114 p. ; 25 cm
シリーズ名: IMechE conference transactions ; 1995-6
所蔵情報: loading…
4.

図書
図書
4. Major hazards onshore and offshore II, a three-day symposium organized by the Institution of Chemical Engineers (North Western Branch) and held at UMIST, Manchester 24-26 October 1995
Institution of Chemical Engineers (Great Britain). North Western Branch
出版情報: Rugby, UK : Institution of Chemical Engineers  xii, 645 p. ; 22 cm
シリーズ名: Institution of Chemical Engineers symposium series ; no. 139
所蔵情報: loading…
5.

コンピュータファイル
コンピュータファイル
5. Proceedings, ASSE's Professional Development Conference
Professional Development Conference and Exposition (American Society of Safety Engineers) ; American Society of Safety Engineers
出版情報: Park Ridge, Ill. : American Society of Safety Engineers  CD-ROM ; 12 cm
所蔵情報: loading…
6.

図書
図書
6. Major hazards onshore and offshore (: IChemE ; : hpc)
Institution of Chemical Engineers (Great Britain). North Western Branch
出版情報: Rugby, UK : Institution of Chemical Engineers , New York : Hemisphere Pub. Corp., c1992  xii, 738 p. ; 22 cm
シリーズ名: Institution of Chemical Engineers symposium series ; no. 130
所蔵情報: loading…
7.

図書
図書
7. Computer safety, reliability, and security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : proceedings
Stuart Anderson, Massimo Felici, Bev Littlewood (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xix, 426 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2788
所蔵情報: loading…
8.

図書
図書
8. Computer safety, reliability and security : 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 : proceedings
Floor Koornneef, Meine van der Meulen (eds.)
出版情報: Berlin : Springer, c2000  x, 432 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1943
所蔵情報: loading…
9.

図書
図書
9. Safety engineering and risk analysis, 1995 : presented at the 1995 ASME International Mechanical Engineering Congress and Exposition, November 12-17, 1995, San Francisco, California
sponsored by the Safety Engineering and Risk Analysis Division, ASME ; edited by David W. Pyatt
出版情報: New York : American Society of Mechanical Engineers, c1995  v, 139 p. ; 28 cm
シリーズ名: SERA ; vol. 4
所蔵情報: loading…
10.

図書
図書
10. Safety engineering and risk analysis, 1996 : presented at the 1996 ASME International Mechanical Engineering Congress and Exposition, November 17-22, 1996, Atlanta, Georgia
sponsored by the Safety Engineering and Risk Analysis Division, ASME ; edited by F.J. Mintz
出版情報: New York : American Society of Mechanical Engineers, c1996  v, 147 p. ; 28 cm
シリーズ名: SERA ; vol. 6
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼