Safety in Railway Signalling Data: A Behavioural Analysis

Authors:
Matthew J. Morley
Affiliations:
-
Venue:
HUG '93 Proceedings of the 6th International Workshop on Higher Order Logic Theorem Proving and its Applications
Year:
1993

Formal Methods Diffusion: Past Lessons and Future Prospects

SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
A calculus of hazard for railway signalling

WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Instantiating generic charts for railway interlocking systems

Proceedings of the 10th international workshop on Formal methods for industrial critical systems

Hi-index	0.01