|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
2017 Computer Science and Information Technologies (CSIT)сборник
- Год издания: 2017
- Место издания: IEEE
- Добавил в систему: Корныхин Евгений Валерьевич
Статьи, опубликованные в сборнике
-
- 2017 On formalization of operating systems behaviour verification
- Khoroshilov Alexey
- в сборнике 2017 Computer Science and Information Technologies (CSIT), место издания IEEE, с. 168-172 DOI