Safety Demonstration for a Rail Signaling Application in Nominal and Degraded Modes Using Formal Proof

authors

publication date

June 20, 2014

published in

Digital Object Identifier (DOI)

https://doi.org/10.1002/9781119004707.ch4

has global citation frequency

https://vivo.tib.eu/demo/individual/gcf_W1491923649 Global Citation Count

start page

71

end page

113