Оптимизация проверки выполнимости переходов при верификации формальных моделей

Колчин, А. В.


	Наукова періодика України		Проблеми програмування

Колчин А. В.
Оптимизация проверки выполнимости переходов при верификации формальных моделей / А. В. Колчин // Проблеми програмування. - 2012. - № 2-3. - С. 201-210. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2012_2-3_26

Повний текст PDF - 473.574 Kb

Зміст випуску Google Scholar

Цитування публікації

Цитованість авторів публікації:

Колчин А.

Бібліографічний опис для цитування:

Колчин А. В. Оптимизация проверки выполнимости переходов при верификации формальных моделей / А. В. Колчин // Проблеми програмування. - 2012. - № 2-3. - С. 201-210. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2012_2-3_26.

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

Колчин Олександр Валентинович (фізико-математичні науки)

Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"

Відділ інформаційно-комунікаційних технологій

Пам`ятка користувача