Наукова періодика України Системи обробки інформації

Политько Е. И. 
Метод формальной верификации UMC: UML Model Checking / Е. И. Политько, О. М. Тарасюк, А. В. Горбенко // Системи обробки інформації. - 2013. - Вип. 1. - С. 211-215. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2013_1_48
  Повний текст PDF - 553.93 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Политько Е.
  • Тарасюк О.
  • Горбенко А.

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

    Политько Е. И. Метод формальной верификации UMC: UML Model Checking / Е. И. Политько, О. М. Тарасюк, А. В. Горбенко // Системи обробки інформації. - 2013. - Вип. 1. - С. 211-215. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2013_1_48.
    Додаткова інформація про автора(ів) публікації:
    (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
  • Тарасюк Ольга Михайлівна (1979–) (технічні науки)
  • Горбенко Анатолій Вікторович (технічні науки)
    •   Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського