J. C. Knight and N. G. Leveson, \A reply to the criticisms of the Knight & Leveson experiment, " ACM SIGSOFT Software Engineering Notes, Jan. 1990. 19  Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
An Architecture for Configurable Dependability of.. - Matthias Tichy And (2003) (1 citation) (Correct)
Safety-Critical Systems, Formal Methods and Standards - Bowen, Stavridou (1993) (11 citations) (Correct)
Safety-Critical Systems, Formal Methods and Standards - Bowen, Stavridou (1992) (11 citations) (Correct)
Modelling Software Design Diversity: A Review - Littlewood, Popov, Strigini (1999) (3 citations) (Correct)
The Infeasibility of Quantifying the Reliability of.. - Butler, Finelli (1993) (60 citations) (Correct)
Advanced Software Fault Tolerance Strategies for Mission.. - For Nasa Ames (Correct)
Why Engineers Should Consider Formal Methods - Holloway (1997) (1 citation) (Correct)
The Infeasibility of Experimental Quantification of.. - Butler, Finelli (1991) (45 citations) (Correct)
Safety-Critical Systems, Formal Methods and Standards - Bowen, Stavridou (1993) (11 citations) (Correct)
Safety-Critical Systems, Formal Methods and Standards - Bowen, Stavridou (1993) (11 citations) (Correct)
NASA Langley's Research and Technology-Transfer.. - Butler.. (1998) (8 citations) (Correct)
NASA Langley's Research and Technology-Transfer Program in.. - Ricky Butler (1995) (8 citations) (Correct)
NASA Langley's Research and Technology-Transfer.. - Butler, Caldwell, .. (1995) (8 citations) (Correct)
The Infeasibility of Quantifying the Reliability of.. - Real-Time Software Ricky (Correct)
Formal Methods For Life-Critical Software - Ricky Butler Sally (1993) (3 citations) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC