|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
On formalization of operating systems behaviour verificationдоклад на конференции
- Автор: Alexey Khoroshilov
- Международная Конференция : 2017 Computer Science and Information Technologies (CSIT)
- Даты проведения конференции: 25-29 сентября 2017
- Дата доклада: 28 сентября 2017
- Тип доклада: Пленарный
- Докладчик: Alexey Khoroshilov
- Место проведения: Ереван, Armenia
- Добавил в систему: Хорошилов Алексей Владимирович