Conferences in DBLP
John Fox Designing Safety into Medical Decisions and Clinical Processes. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2001, pp:1-13 [Conf ] Rune Winther , Ole-Arnt Johnsen , Bjørn Axel Gran Security Assessments of Safety Critical Systems Using HAZOPs. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2001, pp:14-24 [Conf ] Martin Naedele , Dacfey Dzung , Michael Stanimirov Network Security for Substation Automation Systems. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2001, pp:25-34 [Conf ] Bjørn Axel Gran , Atte Helminen A Bayesian Belief Network for Reliability Assessment. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2001, pp:35-45 [Conf ] Zsigmond Pap , István Majzik , András Pataricza Checking General Safety Criteria on UML Statecharts. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2001, pp:46-55 [Conf ] Odd Nordland Presenting a Safety Case - A Case Study. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2001, pp:56-65 [Conf ] Hans R. Fankhauser Safety Functions versus Control Functions. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2001, pp:66-74 [Conf ] Ulrich Laible , Thomas Bürger , Günter Pritschow A Fail-Safe Dual Channel Robot Control for Surgery Applications. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2001, pp:75-85 [Conf ] John M. Rushby Modeling the Human in Human Factors. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2001, pp:86-91 [Conf ] Oliver Mäckel , Georg Hoever Analyzing Human-Machine Interactions in Safety-Critical Systems: A Basic Applicable Approach. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2001, pp:92-99 [Conf ] Alberto Pasquini , Antonio Rizzo , Luca Save Analysis of Incidents Involving Interactive Systems. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2001, pp:100-108 [Conf ] Piotr Gawkowski , Janusz Sosnowski Experimental Evaluation of Fault Handling Mechanisms. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2001, pp:109-118 [Conf ] Felix Redmill The COTS Debate in Perspective. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2001, pp:119-129 [Conf ] Mohamed Kaâniche , Yannick Le Guédart , Jean Arlat , Thierry Boyer An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2001, pp:130-144 [Conf ] Ioannis Vakalis A Comparison Study of the Behavior of Equivalent Algorithms in Fault Injection Experiments in Parallel Superscalar Architectures. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2001, pp:145-155 [Conf ] Silke Kuball , Gordon Hughes , John H. R. May , Julio Gallardo , Andrew D. John , Roy B. Carter The Effectiveness of Statistical Testing when Applied to Logic Systems. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2001, pp:156-165 [Conf ] Günther Zoffmann , Manfred Gingerl , Christian Reumann , Gerald Sonneck A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178B. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2001, pp:166-175 [Conf ] Friedemann Bitsch Safety Patterns - The Key to Formal Specification of Safety Requirements. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2001, pp:176-189 [Conf ] Tadeusz Cichocki , Janusz Górski Formal Support for Fault Modelling and Analysis. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2001, pp:190-199 [Conf ] Rainer Faller Project Experience with IEC 61508 and Its Consequences. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2001, pp:200-214 [Conf ] Paul Caspi , Christine Mazuet , Natacha Reynaud Paligot About the Design of Distributed Control Systems: The Quasi-Synchronous Approach. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2001, pp:215-226 [Conf ] Cláudia Betous-Almeida , Karama Kanoun Dependability Evaluation. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2001, pp:227-237 [Conf ] Stefano Porcarelli , Felicita Di Giandomenico , Amine Chohra , Andrea Bondavalli Tuning of Database Audits to Improve Scheduled Maintenance in Communication Systems. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2001, pp:238-248 [Conf ]