CASE STUDY: RAILWAY
 | ||
|
 | Project SafeRail www.informatik.uni-ulm.de/ki/saferail.html. |
| Akita, Katsuji and Nakamura, Hideo: Safety and fault-tolerance in computer-controlled railway signalling systems. In: Avizienis, A. and Laprie, J. C. (eds.): Dependable computing for critical applications. – Springer : Wien, 1991. – (Dependable computing and fault-tolerant systems, volume 4). Pages 107–131. |
