Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A

by Тарасюк, О.М., Горбенко, А.В., Харченко, В.С.
Published 2010

Насколько формальны формальные методы?

by Тарасюк, О.М., Горбенко, А.В., Харченко, В.С.
Published 2011

Інноваційна освіта та наука в галузі інформаційних технологій: досвід Національного аерокосмічного університету ім. М. Є. Жуковського "ХАІ"...

by Кривцов, В.С., Горбенко, А.В., Харченко, В.С.
Published 2015