Наукові публікації університету

Compositional-Nominative Approach to the Client-Server Systems Properties Proofs within Different Formal Execution Models


ID: 236949
Кількість показів: 39
дата змінення: 10.11.2019 20:24:03
Ким змінено (ім'я): (cyb10) Ірина Сімянчук
Вид роботи:  Наукова публікація
Тип роботи:  Праці конференції
Кількість сторінок:  6
Рік видання:  2019
Звітний рік:  2019
Видання:  Ukraine Conference on Electrical and Computer Engineering (UKRCON)
Випуск, частина:  2
Номери сторінок:  1127-1132
Галузь науки:  Інформатика
Автори,співробітники Університету:  Панченко Тарас Володимирович / Омельчук Людмила Леонідівна / Русіна Наталія Геннадіївна / Шишацька Олена Володимирівна
Автори зовнішні:  Fabunmi Sunmade
Кафедра / Відділ:  Теорії та технології програмування
№ теми:  16КФ015-02
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

Повернення до списку

Вгору