COMMAND – CONTROL AND SIGNALING SYSTEM DOCUMENTATION AND ITS SAFETY
urpose. The publication presents the importance and influence of railway traffic control system documentation on its safety. Furthermore, it presents certain selected issues of formal and semi-formal descriptions. Methodology. Development of correct and complete descriptions of the informal, semi-fo...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Dnipro National University of Railway Transport named after Academician V. Lazaryan
2016-06-01
|
| Series: | Nauka ta progres transportu |
| Subjects: | |
| Online Access: | http://stp.diit.edu.ua/article/view/74711/72593 |