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

A Formal Proof of Correctness of a Distributed Presentation Software System


ID: 188316
Кількість показів: 91
дата змінення: 28.09.2017 14:25:16
Ким змінено (ім'я): (fit6) Антон Сергєєв
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  21
Рік видання:  2017
Звітний рік:  2017
Видання:  ICT in Education, Research and Industrial Applications: Integration, Harmonization, and Knowledge Transfer (ICTERI): Міжнародна конференція
Номери сторінок:  467-487
Галузь науки:  Інформатика
Автори,співробітники Університету:  Іванов Євген В’ячеславович
Кафедра / Відділ:  Програмних систем і технологій
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет інформаційних технологій

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

Вгору