Please use this identifier to cite or link to this item:
http://lib.kart.edu.ua/handle/123456789/33435| Title: | Булева похідна для тестування кінцевих автоматів |
| Authors: | Немченко, Володимир Петрович Залозний, М. Ю. |
| Keywords: | кінцевий автомат булева похідна тестування активізація шляхів |
| Issue Date: | 2020 |
| Publisher: | Український державний університет залізничного транспорту |
| Citation: | Немченко В. П. Булева похідна для тестування кінцевих автоматів / В. П. Немченко, М. Ю. Залозний // Інформаційно-керуючі системи на залізничному транспорті : тези стендових доповідей та виступів учасників 33-ї міжнародної науково-практичної конференції "Інформаційно-керуючі системи на залізничному транспорті" (Харків, 30 жовтня, 2020 р.). – 2020. – № 3 (додаток). – С. 42-43. |
| Abstract: | Розглянуто використання методу булевих похідних у алгоритмі тестування правильності функціювання кінцевих автоматів у складі цифрових інформаційно-керуючіх систем. Проаналізовано етапи алгоритму. |
| URI: | http://lib.kart.edu.ua/handle/123456789/33435 |
| ISSN: | 1681-4886 (рrint); 2413-3833 (online) |
| Appears in Collections: | Т. 25 № 3 (додаток) |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Немченко.pdf | 175 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.