Please use this identifier to cite or link to this item:
http://lib.kart.edu.ua/handle/123456789/10571| Title: | Верифікації програмного забезпечення |
| Other Titles: | Verification software |
| Authors: | Пархоменко, Олександр Олександрович Parkhomenko, O.O. |
| Issue Date: | 2013 |
| Publisher: | Українська державна академія залізничного транспорту |
| Citation: | Пархоменко О. О. Верифікації програмного забезпечення / О. О. Пархоменко // Збірник наукових праць Української державної академії залізничного транспорту : тези доповідей 75-ї міжнародної науково-технічної конференції «Розвиток наукової та інноваційної діяльності на транспорті». - 2013. - Вип. 136. - С. 293. |
| Abstract: | Широко використовується впровадження мікропроцесорної апаратури в системах управління залізничним транспортом, це тягне за собою широке використання програмного забезпечення в цих системах. Ясно, що з точки зору безпечних відмов виникають більш жорсткі вимоги до програмного забезпечення. Помилки програмного забезпечення можуть призводити до небезпечних відмов, що призводить до людських жертв і матеріальних збитків. |
| URI: | http://lib.kart.edu.ua/handle/123456789/10571 |
| ISSN: | 1994-7852 (print); 2413-3795 (online) |
| 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.