Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://lib.kart.edu.ua/handle/123456789/33435| Назва: | Булева похідна для тестування кінцевих автоматів |
| Автори: | Немченко, Володимир Петрович Залозний, М. Ю. |
| Ключові слова: | кінцевий автомат булева похідна тестування активізація шляхів |
| Дата публікації: | 2020 |
| Видавництво: | Український державний університет залізничного транспорту |
| Бібліографічний опис: | Немченко В. П. Булева похідна для тестування кінцевих автоматів / В. П. Немченко, М. Ю. Залозний // Інформаційно-керуючі системи на залізничному транспорті : тези стендових доповідей та виступів учасників 33-ї міжнародної науково-практичної конференції "Інформаційно-керуючі системи на залізничному транспорті" (Харків, 30 жовтня, 2020 р.). – 2020. – № 3 (додаток). – С. 42-43. |
| Короткий огляд (реферат): | Розглянуто використання методу булевих похідних у алгоритмі тестування правильності функціювання кінцевих автоматів у складі цифрових інформаційно-керуючіх систем. Проаналізовано етапи алгоритму. |
| URI (Уніфікований ідентифікатор ресурсу): | http://lib.kart.edu.ua/handle/123456789/33435 |
| ISSN: | 1681-4886 (рrint); 2413-3833 (online) |
| Розташовується у зібраннях: | Т. 25 № 3 (додаток) |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| Немченко.pdf | 175 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.