Новий метод моделювання секвенційного опису комп'ютеризованої системи
Abstract
Запропоновано метод моделювання секвенційного опису комп’ютеризованих систем діагностування та контролю параметрів, призначений для тестування працездатності секвенційної моделі на основі оригінального підходу щодо її формалізації.
Please use this identifier to cite or link to this item:
http://praci.vntu.edu.ua/index.php/praci/article/view/57
http://ir.lib.vntu.edu.ua/handle/123456789/4345