Inproceedings,

Safety Requirements Specification and Verification for Railway Interlocking Systems.

, , , , and .
COMPSAC, page 335-340. IEEE Computer Society, (2016)

Meta data

Tags

Users

  • @dblp

Comments and Reviews