Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Hunt A. Sutherland
Dependable Software in Railway Signalling
IFAC Proceedings Volumes
Related publications
Developing Dependable Systems Using Software Architecture
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Safety Technologies on Railway Signalling and Functional Safety
IEICE ESS Fundamentals Review
Discussion on the Signalling of the London and North-Western Railway.
Minutes of the Proceedings of the Institution of Civil Engineers
Formal Verification of System-Level Safety Properties on Railway Software
Verifying the Accuracy of Interlocking Tables for Railway Signalling Systems Using Abstract State Machines
Journal of Modern Transportation
Electronic Engineering
Computer Science Applications
Electrical
Mechanical Engineering
Transportation
Dependable Pfizer Chemicals
Chemical and Engineering News
Chemical Engineering
The Cooperation Between a 3d Model and Analysis Software for Railway Viaducts
Journal of Japan Society of Civil Engineers, Ser. F3 (Civil Engineering Informatics)
Discrete Element Modelling of Particle Degardation of Railway Ballast Material With Pfc3d Software
Science and Transport Progress. Bulletin of Dnipropetrovsk National University of Railway Transport
Dependable Trees and Plants.
