Можливо, ви намагаєтесь звернутися до цього сайту із захищеного браузера на сервері. Увімкніть сценарії та перезавантажте сторінку.
Увімкнення більш доступного режиму
Вимкнення більш доступного режиму
Пропустити команди стрічки
Перейти до основного вмісту
Вимкнути анімацію
Увімкнути анімацію
Увійти
The National Academy of Sciences of Ukraine
G. E. Pukhov Institute of Modelling Problem in Power Engineering
Grants
About
Directorate
Structure
Scientific Staff
Перелік працівників за посадами, освітньо-кваліфікаційним рівнем тощо
Grants
Messages
Events
Publications
Contacts
Контактні дані та адреса установи
NAS Ukraine
About NASU
Activity
Apparatus of Presidiumof NASU
Awards
Book
Book Series
Centers for Collective Use of NAS of Ukraine
Colegial
Competition
Department
International cooperation
Members
Messages
Multi-volume
NASUDepartment
Organization
Вибрано
Personal Site
Postgraduate and Doctoral Education
Presidium
Державні нагороди та відзнаки
НАН України
Наукові та науково-популярні заходи НАН України
Наукові та науково-прикладні розробки
Центри колективного користування приладами НАН України
Red
Інформаційне наповнення сайту
bcs
Contestants
Так
Так
20%,80%
Grants of the National Academy of Sciences of Ukraine to research laboratories / groups of young scientists of the National Academy of Sciences of Ukraine for conducting research in priority areas of science and technology
Projects of research works of young scientists of the National Academy of Sciences of Ukraine
Grants of the National Academy of Sciences of Ukraine to research laboratories / groups of young scientists of the National Academy of Sciences of Ukraine for conducting research in priority areas of science and technology
2020
Блінов Ігор Вікторович
Winner
Development of methods and means for safety-critical systems designing process artifacts verification
Болтов Єгор Володимирович
Winner
Development of methods and means for safety-critical systems designing process artifacts verification
Зубарєв Дмитро Олександрович
Winner
Development of methods and means for safety-critical systems designing process artifacts verification
Кучанський Владислав Володимирович
Winner
Development of methods and means for safety-critical systems designing process artifacts verification
Шкарупило Вадим Вікторович
Winner
Development of methods and means for safety-critical systems designing process artifacts verification
2018
Артемчук Володимир Олександрович
Winner
Кириленко Юрій Олександрович
Winner
Попов Олександр Олександрович
Winner
©
Інститут програмних систем НАН України
, 2023