Project on diverse software - an experiment in software reliability

Peter Bishop; David Esp; Mel Barnes; Peter Humphreys; Gustav Dahll; Jaakko Lahti; Sadanori Yoshimura

doi:10.1016/S1474-6670(17)60099-5

Project on diverse software - an experiment in software reliability

Peter Bishop
, David Esp
, Mel Barnes
, Peter Humphreys
, Gustav Dahll
, Jaakko Lahti
, Sadanori Yoshimura

VTT Technical Research Centre of Finland

Central Electricity Research Laboratories (CERL)
United Kingdom Atomic Energy Authority (UKAEA)
Nippon Atomic Industry Group Co Ltd

Research output: Contribution to journal › Article in a proceedings journal › Scientific › peer-review

9 Citations (Scopus)

Original language	English
Pages (from-to)	153-158
Journal	IFAC Proceedings Volumes
Volume	18
Issue number	12
DOIs	https://doi.org/10.1016/S1474-6670(17)60099-5
Publication status	Published - 1985
MoE publication type	A4 Article in a conference publication
Event	4th IFAC Workshop on Safety of Computer Control Systems 1985 (SAFECOMP'85): Achieving Safe Real Time Computer Systems - Como, Italy Duration: 1 Oct 1985 → 3 Oct 1985

Access to Document

10.1016/S1474-6670(17)60099-5

Cite this

@article{47aaf0a76d884caabdf6d4b99912c46f,

title = "Project on diverse software - an experiment in software reliability",

author = "Peter Bishop and David Esp and Mel Barnes and Peter Humphreys and Gustav Dahll and Jaakko Lahti and Sadanori Yoshimura",

year = "1985",

doi = "10.1016/S1474-6670(17)60099-5",

language = "English",

volume = "18",

pages = "153--158",

journal = "IFAC Proceedings Volumes",

issn = "1474-6670",

publisher = "Elsevier",

number = "12",

note = "4th IFAC Workshop on Safety of Computer Control Systems 1985 (SAFECOMP'85) : Achieving Safe Real Time Computer Systems ; Conference date: 01-10-1985 Through 03-10-1985",

}

TY - JOUR

T1 - Project on diverse software - an experiment in software reliability

AU - Bishop, Peter

AU - Esp, David

AU - Barnes, Mel

AU - Humphreys, Peter

AU - Dahll, Gustav

AU - Lahti, Jaakko

AU - Yoshimura, Sadanori

PY - 1985

Y1 - 1985

U2 - 10.1016/S1474-6670(17)60099-5

DO - 10.1016/S1474-6670(17)60099-5

M3 - Article in a proceedings journal

SN - 1474-6670

VL - 18

SP - 153

EP - 158

JO - IFAC Proceedings Volumes

JF - IFAC Proceedings Volumes

IS - 12

T2 - 4th IFAC Workshop on Safety of Computer Control Systems 1985 (SAFECOMP'85)

Y2 - 1 October 1985 through 3 October 1985

ER -