Safety-Critical Interlocking Software Development Process for Fixed-Block Signalization Systems
Durmuş, Mustafa S., Yıldırım, Uğur, Eriş, Oytun, Söylemez, Mehmet T.Volume:
45
Language:
english
Journal:
IFAC Proceedings Volumes
DOI:
10.3182/20120912-3-bg-2031.00034
Date:
September, 2012
File:
PDF, 806 KB
english, 2012