Домбровская, Юлия Николаевна. Верификация модуля управления производством пластиковых карт методом 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>.
|
Period
|
Read
|
Print
|
Copy
|
Open
|
Total
|
|
Year 2017
|
30
|
0
|
0
|
0
|
30
|
|
Year 2018
|
26
|
0
|
0
|
0
|
26
|
|
Year 2019
|
18
|
0
|
0
|
0
|
18
|
|
Year 2020
|
7
|
0
|
1
|
0
|
8
|
|
Year 2021
|
1
|
0
|
0
|
0
|
1
|
|
Year 2022
|
5
|
0
|
0
|
0
|
5
|
|
Year 2023
|
10
|
1
|
1
|
0
|
12
|
|
Year 2024
|
1
|
0
|
0
|
0
|
1
|
|
Total
|
98
|
1
|
2
|
0
|
101
|
