signalling system,safety case process,CENELEC,modelling method,Muller,Bastad Archives - International Railway Safety Council

INTERNATIONAL
Railway Safety Council

admin In Bastad 2009, Documents

The Formal Representation of the Safety Case Processes Described in the EN 5012x Norms (paper)

bastad

The aim of this paper is to describe the method to develop the normative model of the Safety Case Process…

Continue Reading

Year of Publication: 2009

Document: View

admin In Bastad 2009, Documents

The Formal Representation of the Safety Case Processes Described in the EN 5012x Norms (pres)

bastad

Copy of presentation delivered Wednesday 30 September 2009, Bastad

Continue Reading

Year of Publication: 2009

Document: View

Select language