Safety-Critical Interlocking Software Development Process for Fixed-Block Signalization Systems | AVESİS

Istanbul Technical University Research Information System

Safety-Critical Interlocking Software Development Process for Fixed-Block Signalization Systems

Copy For Citation

DURMUŞ M. S., YILDIRIM U., ERİŞ O., SÖYLEMEZ M. T.

13th IFAC Symposium on Control in Transportation Systems (CTS 2012), Sofya, Bulgaria, 12 - 14 September 2012, pp.319-324

Publication Type: Conference Paper / Full Text
City: Sofya
Country: Bulgaria
Page Numbers: pp.319-324
Istanbul Technical University Affiliated: Yes