Victor Kuliamin
- Login: kuliamin
- Email: kuliamin@ispras.ru
- Registered on: 12/18/2009
- Last connection: 04/12/2023
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 3 | 0 | 3 |
| Reported issues | 0 | 0 | 0 |
Projects
| Project | Roles | Registered on |
|---|---|---|
| AstraVer Toolset | Developer | 04/26/2018 |
| Дополнительные материалы к монографии | Developer | 04/28/2018 |
| Инструменты дедуктивной верификации моделей политик безопасности | Manager, Developer | 04/26/2018 |
| Summer | Manager | 01/26/2016 |
| Материалы конференций | Manager | 10/02/2015 |
| КМБ-2014 | Manager, Developer | 09/29/2014 |
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