论文信息 - Proving Safety of a Railway Signalling System Incorporating Geographic Data - 字舞流文

Proving Safety of a Railway Signalling System Incorporating Geographic Data

I. Mitchell | M. Ingleby

[1] R. C. Short. Software Validation for a Railway Signalling System , 1983 .

[2] A. H. Cribbens. Solid-state interlocking (SSI): an integrated electronic signalling system for mainline railways , 1987 .

[3] Jim Cunningham,et al. Proving properties of a safety-critical system , 1991, Softw. Eng. J..