-
1
-
-
84957020679
-
-
Functional safety of electrical/electronic/programmable electronic safety-related systemsversion 4.0
-
IEC publication 61508: “Functional safety of electrical/electronic/programmable electronic safety-related systems”, version 4.0 (2000).
-
(2000)
-
-
-
2
-
-
0033715695
-
The Use of Bayesian Belief Nets in Safety Assessment of Software Based Systems
-
Dahll, G. & Gran, B.A.: “The Use of Bayesian Belief Nets in Safety Assessment of Software Based Systems”. In Special Issues of International Journal on Intelligent Information Systems at FLINS’98, Int. J. General Systems v 24, no 2, pp. 205-229 (2000).
-
(2000)
Journal on Intelligent Information Systems at FLINS’98, Int. J. General Systems
, vol.24
, Issue.2
, pp. 205-229
-
-
Dahll, G.1
Gran, B.A.2
-
4
-
-
84957002554
-
Computer Safety, Reliability and Security
-
Dahll, Eisinger, Lund, Norstrøm, Strocka, Ystanes) “Estimating Dependability of Programmable Systems Using BBNs”. Printed in Koornneef, van der Meulen (Ed.), Springer, (Lecture Notes in Computer Science 1943)
-
Gran, B.A. et al. (Dahll, Eisinger, Lund, Norstrøm, Strocka, Ystanes) “Estimating Dependability of Programmable Systems Using BBNs”. Printed in Koornneef, van der Meulen (Ed.): “Computer Safety, Reliability and Security”, Proceedings from Safecomp 2000, Springer, (Lecture Notes in Computer Science 1943), pp. 309-320 (2000).
-
(2000)
Proceedings from Safecomp 2000
, pp. 309-320
-
-
Gran, B.A.1
-
5
-
-
84956989714
-
-
Aalborg, Denmark
-
Tool made by Hugin Expert a/s, Aalborg, Denmark (http://www.hugin.dk).
-
-
-
-
6
-
-
84957025899
-
-
Safety and Risk Evaluation using Bayesian Nets”. ESPRIT Framework IV nr. 22187
-
SERENE: “Safety and Risk Evaluation using Bayesian Nets”. ESPRIT Framework IV nr. 22187, (1999). (http://www.hugin.dk/serene/).
-
(1999)
-
-
SERENE1
-
7
-
-
0003470083
-
-
MRC Biostatistic Unit, Cambridge
-
Spiegelhalter, D., Thomas, A., Best N., & Gilks W.: “BUGS 0.5 Bayesian Inference Using Gibbs Sampling Manual (version ii)”, MRC Biostatistic Unit, Cambridge, pp.1-59 (1996).
-
(1996)
BUGS 0.5 Bayesian Inference Using Gibbs Sampling Manual (Version Ii)
, pp. 1-59
-
-
Spiegelhalter, D.1
Thomas, A.2
Best, N.3
Gilks, W.4
-
8
-
-
84957043566
-
-
Improving the software process using Bayesian nets”. EPSRC project nr. GR/L06683
-
IMPRESS: “Improving the software process using Bayesian nets”. EPSRC project nr. GR/L06683, (1999). (http://www.csr.city.ac.uk/csr_city/projects/impress.html).
-
(1999)
-
-
IMPRESS1
-
9
-
-
0002630949
-
Predicting software quality using Bayesian Belief Networks
-
NASA Goddard Space Flight Centre
-
Neil, M. and Fenton, N.: “Predicting software quality using Bayesian Belief Networks”. In: Proceedings of 21st. Annual Software Engineering Workshop, NASA Goddard Space Flight Centre, pp. 217-230 (1996).
-
(1996)
Proceedings of 21st. Annual Software Engineering Workshop
, pp. 217-230
-
-
Neil, M.1
Fenton, N.2
-
10
-
-
0003211065
-
Applying Bayesian Belief Nets to systems dependability assessment
-
Springer-Verlag
-
Neil, M., Littlewod, B., and Fenton, N.: “Applying Bayesian Belief Nets to systems dependability assessment”. In: Proceedings of 4th Safety Critical Systems Symposium, Springer-Verlag, pp. 71-93 (1996).
-
(1996)
Proceedings of 4th Safety Critical Systems Symposium
, pp. 71-93
-
-
Neil, M.1
Littlewod, B.2
Fenton, N.3
-
11
-
-
0032202652
-
A strategy for improving safety related software engineering standards
-
Fenton, N. and Neil, M.: “A strategy for improving safety related software engineering standards” IEEE Trans. on SW Eng. v24, no. 11, pp. 1002-1013 (1998).
-
(1998)
IEEE Trans. On SW Eng
, vol.24
, Issue.11
, pp. 1002-1013
-
-
Fenton, N.1
Neil, M.2
-
12
-
-
0004012196
-
-
Chapman & Hall, London
-
Gelman, A., Carlin, J. B., Stern, H. S. & Rubin, D. B.: “Bayesian Data Analysis”, Chapman & Hall, London, pp. 1-526 (1995).
-
(1995)
Bayesian Data Analysis
, pp. 1-526
-
-
Gelman, A.1
Carlin, J.B.2
Stern, H.S.3
Rubin, D.B.4
-
13
-
-
0003687180
-
-
Springer-Verlag
-
Cowell, R. G., Dawid, A. P., Lauritzen, S. L., Spiegelhalter, D. J.: “Probabilistic Networks and Expert Systems”, Springer-Verlag, pp. 1-309 (1999).
-
(1999)
Probabilistic Networks and Expert Systems
, pp. 1-309
-
-
Cowell, R.G.1
Dawid, A.P.2
Lauritzen, S.L.3
Spiegelhalter, D.J.4
-
16
-
-
84972488038
-
Bayesian Analysis in Expert Systems
-
Spiegelhalter, D.J., Dawid, A.P., Lauritzen, S.L., and Cowell, R.G.: “Bayesian Analysis in Expert Systems”, Statistical Science, Vol. 8-3 (1993).
-
(1993)
Statistical Science
, vol.8
, Issue.3
-
-
Spiegelhalter, D.J.1
Dawid, A.P.2
Lauritzen, S.L.3
Cowell, R.G.4
-
17
-
-
84957032430
-
-
Software Considerations in Airborne Systems and Equipment Certifications
-
RTCA/DO-178B: “Software Considerations in Airborne Systems and Equipment Certifications”, (1992).
-
(1992)
-
-
|