Title

The safety assurance method of railway control systems using object oriented languages

Journal title

Archives of Transport

Yearbook

2010

Issue

No 2

Authors

Sumiła, Marek ; Lewiński, Andrzej

Divisions of PAS

Nauki Techniczne

Publisher

Polish Academy of Sciences Committee of Transport Design

Identifier

ISSN 0866-9546

Source

Archives of Transport; 2010; No 2