Домбровская, Юлия Николаевна. Верификация модуля управления производством пластиковых карт методом Model Checking [Электронный ресурс]: дипломная работа: 10.05.04 / Ю. Н. Домбровская; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и технологий ; науч. рук. В. В. Платонов. — Электрон. текстовые дан. (1 файл : 1,33 МБ). — Санкт-Петербург, 2017. — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/v17-1228.pdf>. — <URL:http://doi.org/10.18720/SPBPU/2/v17-1228>.
|
Период
|
Чтение
|
Печать
|
Копирование
|
Открытие
|
Итого
|
|
Год 2017
|
30
|
0
|
0
|
0
|
30
|
|
Год 2018
|
26
|
0
|
0
|
0
|
26
|
|
Год 2019
|
18
|
0
|
0
|
0
|
18
|
|
Год 2020
|
7
|
0
|
1
|
0
|
8
|
|
Год 2021
|
1
|
0
|
0
|
0
|
1
|
|
Год 2022
|
5
|
0
|
0
|
0
|
5
|
|
Год 2023
|
10
|
1
|
1
|
0
|
12
|
|
Год 2024
|
1
|
0
|
0
|
0
|
1
|
|
Всего
|
98
|
1
|
2
|
0
|
101
|
