Колчин А. В. Автоматический метод динамического построения абстракций состояний формальной модели / А. В. Колчин // Кибернетика и систем. анализ. - 2010. - 46, № 4. - С. 70-90. - Библиогр.: 46 назв. - рус.
Описано метод побудови абстракцій для підвищення ефективності перевірки формальних моделей. Послаблення відношення еквівалентності станів досягнуто за рахунок ігнорування незначущих значень атрибутів. Результати експериментів продемонстрували на деяких прикладах зменшення складності виконання перевірки властивостей моделі з експоненційної до поліноміальної.
Шифр НБУВ: Ж29144Пошук видання у каталогах НБУВ Повний текст Наукова періодика УкраїниДодаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"