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