Please use this identifier to cite or link to this item:
http://lib.kart.edu.ua/handle/123456789/10571Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Пархоменко, Олександр Олександрович | - |
| dc.contributor.author | Parkhomenko, O.O. | - |
| dc.date.accessioned | 2022-08-23T10:48:32Z | - |
| dc.date.available | 2022-08-23T10:48:32Z | - |
| dc.date.issued | 2013 | - |
| dc.identifier.citation | Пархоменко О. О. Верифікації програмного забезпечення / О. О. Пархоменко // Збірник наукових праць Української державної академії залізничного транспорту : тези доповідей 75-ї міжнародної науково-технічної конференції «Розвиток наукової та інноваційної діяльності на транспорті». - 2013. - Вип. 136. - С. 293. | uk_UA |
| dc.identifier.issn | 1994-7852 (print); 2413-3795 (online) | - |
| dc.identifier.uri | http://lib.kart.edu.ua/handle/123456789/10571 | - |
| dc.description.abstract | Широко використовується впровадження мікропроцесорної апаратури в системах управління залізничним транспортом, це тягне за собою широке використання програмного забезпечення в цих системах. Ясно, що з точки зору безпечних відмов виникають більш жорсткі вимоги до програмного забезпечення. Помилки програмного забезпечення можуть призводити до небезпечних відмов, що призводить до людських жертв і матеріальних збитків. | - |
| dc.publisher | Українська державна академія залізничного транспорту | uk_UA |
| dc.title | Верифікації програмного забезпечення | uk_UA |
| dc.title.alternative | Verification software | uk_UA |
| dc.type | Thesis | uk_UA |
| Appears in Collections: | Випуск 136 | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Parkhomenko.pdf | 620.81 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.