Therac-25
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
- Computer
- 2017
A widely cited 1993 Computer article described failures in a software-controlled radiation machine that massively overdosed six… (More)
Is this relevant?
2005
2005
- 2005
Therac-25, a radiation treatment machine, massively overdosed 6 people because of a software error. In this paper we describe… (More)
Is this relevant?
2005
2005
- 2005
* Address for correspondence: J.E.Dobson, 31 Wentworth Park, Allendale Northumberland NE47 9DR, U.K. email <J.E.Dobson@ncl.ac.uk… (More)
Is this relevant?
2000
2000
- 2000
Computers are increasingly being introduced into safety-critical systems and, as a consequence, have been involved in accidents… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
- Computer
- 1993
Between June 1985 and January 1987, the Therac-25 medical electron accelerator was involved in six massive radiation overdoses… (More)
Is this relevant?
1993
1993
- 1993
We consider the use of formal speci cation and veri cation tech niques for proving the safety or otherwise of an abstraction of a… (More)
Is this relevant?
1993
1985
1985
- 1985
Between June 1985 and January 1987, a computer-controlled radiation therapy machine, called the Therac-25, massively overdosed… (More)
Is this relevant?
1985
1985
- 1985
Between June and January a computer controlled radiation ther apy machine called the Therac massively overdosed six people These… (More)
Is this relevant?
1983
1983
- IEEE Transactions on Nuclear Science
- 1983
An electron linear accelerator system with several novel features has been developed for radiation therapy. The beam from a 25… (More)
Is this relevant?