Контакти Карта сайту

Участь відділу №100 у міжнародних науково-технічних конференціях

 

2016 рік

 

Letichevsky O.A., Letichevsky O.O. Insertion Modeling and Its Applications // Proceedings MFOI-2016 (July 25-30, 2016, Chisinau, Moldova). – P. 73-84.

 

I.V. Ivanov, N.S. Nikitchenko, V.G. Skobelev. Properties of nominative programs specified by effective definitial schemes // Proceedings MFOI-2016 (July 25-30, 2016, Chisinau, Moldova). – P. 222-240.

 

Летичевський О.О. Символьні методи у верифікації та тестуванні високонадійних систем // Радіоелектронні і комп’ютерні системи. – 2016. – № 5. – С. 78-83. (Доповідь на Міжнародній науково-технічної конференції «CYBER FORUM DISSERT 2016 (May 18-23, 2016, Kharkiv-Kiev-Chernivtsy, Ukraine)»).

 

 

 

Пошук
 
Пошта

 
 3d принтери та станки з ЧПУ в Україні