Victor Kuliamin
- Email: kuliamin@ispras.ru
- Registered on: 12/18/2009
- Last connection: 01/19/2021
Issues
Projects
- КМБ-2014 (Manager, Developer, 09/29/2014)
- Материалы конференций (Manager, 10/02/2015)
- Summer (Manager, 01/26/2016)
- AstraVer Toolset (Developer, 04/26/2018)
- Инструменты дедуктивной верификации моделей политик безопасности (Manager, Developer, 04/26/2018)
- Дополнительные материалы к монографии (Developer, 04/28/2018)
Activity
03/18/2016
10/02/2015
- Полное содержание докладов
- Список докладов
11/17/2014
-
03:00 PM Summer Revision beb2bc54: 2014 update
-
02:00 PM Summer Revision 7a747c30: 2014 update
-
01:59 PM Summer Revision 954c6c65: 2014 update
-
01:59 PM Summer Revision 9a178538: 2014 update
-
01:58 PM Summer Revision f0643d90: 2014 update
-
01:58 PM Summer Revision 5d283f3a: 2014 update
-
01:57 PM Summer Revision 84a6c855: 2014 update
Also available in: Atom