Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://lib.kart.edu.ua/handle/123456789/10571| Назва: | Верифікації програмного забезпечення |
| Інші назви: | Verification software |
| Автори: | Пархоменко, Олександр Олександрович Parkhomenko, O.O. |
| Дата публікації: | 2013 |
| Видавництво: | Українська державна академія залізничного транспорту |
| Бібліографічний опис: | Пархоменко О. О. Верифікації програмного забезпечення / О. О. Пархоменко // Збірник наукових праць Української державної академії залізничного транспорту : тези доповідей 75-ї міжнародної науково-технічної конференції «Розвиток наукової та інноваційної діяльності на транспорті». - 2013. - Вип. 136. - С. 293. |
| Короткий огляд (реферат): | Широко використовується впровадження мікропроцесорної апаратури в системах управління залізничним транспортом, це тягне за собою широке використання програмного забезпечення в цих системах. Ясно, що з точки зору безпечних відмов виникають більш жорсткі вимоги до програмного забезпечення. Помилки програмного забезпечення можуть призводити до небезпечних відмов, що призводить до людських жертв і матеріальних збитків. |
| URI (Уніфікований ідентифікатор ресурсу): | http://lib.kart.edu.ua/handle/123456789/10571 |
| ISSN: | 1994-7852 (print); 2413-3795 (online) |
| Розташовується у зібраннях: | Випуск 136 |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| Parkhomenko.pdf | 620.81 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.