Новий метод моделювання секвенційного опису комп'ютеризованої системи

Abstract

Запропоновано метод моделювання секвенційного опису комп’ютеризованих систем діагностування та контролю параметрів, призначений для тестування працездатності секвенційної моделі на основі оригінального підходу щодо її формалізації.