I. D. R. Shannon

Publication Activity (10 Years)

Years Active: 1995-1996
Publications (10 Years): 0

Publications

Swapan Mitra, I. D. R. Shannon
Assessment and Certification Requirements in the European Railway Industry. SAFECOMP (1996)
A. J. Harrison, I. D. R. Shannon
The Application of Formal Methods to Railway Signalling Systems Specification and the Esprit III Project CASCADE. SAFECOMP (1995)