Operational conditions of the signalling and automation systems; signalling system hazard analysis and GNSS SIS characterization along with Formal Method application in railway field For the full topic description, please refer to Annex II (2017 Call for proposals for non-JU members) of the 2017 Annual Work Plan.
