Szczegóły Szczegóły PDF BIBTEX RIS Tytuł artykułu The safety assurance method of railway control systems using object oriented languages Tytuł czasopisma Archives of Transport Rocznik 2010 Numer No 2 Autorzy Sumiła, Marek ; Lewiński, Andrzej Wydział PAN Nauki Techniczne Wydawca Polish Academy of Sciences Committee of Transport Design Identyfikator ISSN 0866-9546 Źródło Archives of Transport; 2010; No 2