close
1.

図書

図書
Udo Voges (ed.)
出版情報: Berlin : Springer, c2001  xvi, 248 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2187
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper
Designing Safety into Medical Decisions and Clinical Processes / John Fox
Reliability Assessment and Security
Security Assessments of Safety Critical Systems Using HAZOPs / Rune Winther ; Ole-Arnt Johnsen ; Bjørn Axel Gran
Network Security for Substation Automation Systems / Martin Naedele ; Dacfey Dzung ; Michael Stanimirov
A Bayesian Belief Network for Reliability Assessment / Atte Helminen
Safety Case and Safety Analysis
Checking General Safety Criteria on UML Statecharts / Zsigmond Pap ; István Majzik ; András Pataricza
Presenting a Safety Case - A Case Study / Odd Nordland
Safety Functions versus Control Functions / Hans R. Fankhauser
Medical Systems
A Fail-Safe Dual Channel Robot Control for Surgery Applications / Ulrich Laible ; Thomas Bürger ; Günter Pritschow
Modelling the Human in Human Factors / John Rushby
HHuman-Machine Interfac
Analyzing Human-Machine Interactions in Safety-Critical Systems: A Basic Applicable Approach / Oliver Mäckel ; Georg Hoever
Analysis of Incidents Involving Interactive Systems / Alberto Pasquini ; Antonio Rizzo ; Luca Save
COTS - Components off the Shelf
Experimental Evaluation of Fault Handling Mechanisms / Piotr Gawkowski ; Janusz Sosnowski
The COTS Debate in Perspective / Felix Redmill
Testing
An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models / Mohamed Kaâniche ; Yannick Le Guédart ; Jean Arlat ; Thierry Boyer
A Comparison Study of the Behavior of Equivalent Algorithms in Fault Injection Experiments in Parallel Superscalar Architectures / Ioannis Vakalis
The Effectiveness of Statistical Testing when Applied to Logic Systems / Silke Kuball ; Gordon Hughes ; John H.R. May ; Julio Gallardo ; Andrew D. John ; Roy B. Carter
Formal Methods
A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178B / Gunther Zoffmann ; Manfred Gingerl ; Christian Reumann ; Gerald Sonneck
Safety Patterns - The Key to Formal Specification of Safety Requirements.. / Friedemann Bitsch
Formal Support for Fault Modeling and Analysis / Tadeusz Cichocki ; Janusz Górski
Project Experience with IEC 61508 and Its Consequences / Rainer Faller
Control Systems
About the Design of Distributed Control Systems: The Quasi-Synchronous Approach / Paul Caspi ; Christine Mazuet ; Natacha Reynaud Paligot
Dependability Evaluation - From Functional to Structural Modeling / Cláudia Betous-Almeida ; Karama Kanoun
Tuning of Database Audits to Improve Scheduled Maintenance in Communication Systems / Stefano Porcarelli ; Felicita Di Giandomenico ; Amine Chohra ; Andrea Bondavalli
Author Index
Invited Paper
Designing Safety into Medical Decisions and Clinical Processes / John Fox
Reliability Assessment and Security
2.

コンピュータファイル

コンピュータファイル
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…
3.

図書

図書
edited by W.J. Quirk
出版情報: Oxford ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1985  x, 181 p. ; 31 cm
所蔵情報: loading…
4.

図書

図書
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…
5.

図書

図書
Floor Koornneef, Meine van der Meulen (eds.)
出版情報: Berlin : Springer, c2000  x, 432 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1943
所蔵情報: loading…
6.

図書

図書
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…
7.

図書

図書
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…
8.

図書

図書
sponsored by the Safety Engineering and Risk Analysis Division, ASME ; edited by F.J. Mintz
出版情報: New York : American Society of Mechanical Engineers, c1997  v, 72 p. ; 28 cm
シリーズ名: SERA ; vol. 7
所蔵情報: loading…
9.

図書

図書
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…
10.

図書

図書
edited by Chris W. Johnson, Philippe Palanque
出版情報: Boston : Kluwer Academic, c2004  xvi, 322 p. ; 25 cm
シリーズ名: The International Federation for Information Processing ; 152
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼