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: | M. Kycko |
---|---|
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 |
Similar Items
-
Разработка комплексного описания процессов деятельности в организации
by: Вікторія Петрівна Захарченко, et al.
Published: (2016-07-01) -
Registration of an enterprise information system development by formal specifications
by: Milan Mišovič
Published: (2006-01-01) -
The Time-Space Approach in the Analysis of Traffic Safety on Rural Road
by: Bačkalić Svetlana, et al.
Published: (2017-07-01) -
How Philosophical is Informal Logic?
by: John Woods
Published: (2000-01-01) -
Arbitrary borders? New partnerships for cultural heritage siblings – libraries, archives and museums: creating integrated descriptive systems
by: Timms, Katherine V.
Published: (2007)