-
1
-
-
0027306938
-
The infeasibility of quantifying the reliability of life-critical real-time software
-
Butler, R. W. and Finelli, G. B. (1993) The infeasibility of quantifying the reliability of life-critical real-time software. IEEE Trans. Softwr. Engng, 19, 3-12.
-
(1993)
IEEE Trans. Softwr. Engng
, vol.19
, pp. 3-12
-
-
Butler, R.W.1
Finelli, G.B.2
-
2
-
-
0028462116
-
FASTAR(service mark) platform gives the network a competitive edge
-
July-Aug.
-
Chao, C. W., Fuoco, G. and Kropfl, D. (1994) FASTAR(cervice mark) Platform gives the network a competitive edge. AT&T Tech. J., July-Aug., 69-81.
-
(1994)
AT&T Tech. J.
, pp. 69-81
-
-
Chao, C.W.1
Fuoco, G.2
Kropfl, D.3
-
5
-
-
0039586223
-
Reliability and maintenance technology
-
eds K. Holmberg and A. Folkeson, New York: Elsevier Science
-
Folkeson, A. (1991) Reliability and maintenance technology. In Operational Reliability and Systematic Maintenance (eds K. Holmberg and A. Folkeson), pp. 1-8. New York: Elsevier Science.
-
(1991)
Operational Reliability and Systematic Maintenance
, pp. 1-8
-
-
Folkeson, A.1
-
6
-
-
0026104017
-
Software safety in embedded computer systems
-
Levenson, N. G. (1991) Software safety in embedded computer systems. Communs ACM, 34, no. 2, 34-46.
-
(1991)
Communs ACM
, vol.34
, Issue.2
, pp. 34-46
-
-
Levenson, N.G.1
-
7
-
-
84976723958
-
Validation of ultrahigh dependability for software-base systems
-
Littlewood, B. and Strigini, L. (1993) Validation of ultrahigh dependability for software-base systems. Communs ACM, 36, no. 11, 69-80.
-
(1993)
Communs ACM
, vol.36
, Issue.11
, pp. 69-80
-
-
Littlewood, B.1
Strigini, L.2
-
8
-
-
0029309215
-
An accelerated life test model based on reliability kinetics
-
Meeker, W. Q. and LuValle, M. J. (1995) An accelerated life test model based on reliability kinetics. Technometrics 36, 133-146.
-
(1995)
Technometrics
, vol.36
, pp. 133-146
-
-
Meeker, W.Q.1
LuValle, M.J.2
-
9
-
-
84941181463
-
Operational profiles in software reliability engineering
-
Musa, J. D. (1993) Operational profiles in software reliability engineering. IEEE Softwr., 10, no. 2, 14-32.
-
(1993)
IEEE Softwr.
, vol.10
, Issue.2
, pp. 14-32
-
-
Musa, J.D.1
-
11
-
-
0025436318
-
Evaluation of safety critical software
-
Parnas, D. L., van Schouwen, J. and Kwan, S. P. (1990) Evaluation of safety critical software. Communs ACM 33, no. 6, 636-648.
-
(1990)
Communs ACM
, vol.33
, Issue.6
, pp. 636-648
-
-
Parnas, D.L.1
Van Schouwen, J.2
Kwan, S.P.3
-
12
-
-
0029221754
-
Statistical testing of software based on a usage model
-
Walton, G. H., Poore, J. H. and Trammel, C. J. (1995) Statistical testing of software based on a usage model. Softwr. Prac. Exper., 25, 97-108.
-
(1995)
Softwr. Prac. Exper.
, vol.25
, pp. 97-108
-
-
Walton, G.H.1
Poore, J.H.2
Trammel, C.J.3
|