|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2020 |
1. |
Л. А. Меркин, Р. М. Резин, Н. К. Васильев, “Архитектура формально-верифицированной системы распределенного реестра InnoChain”, Модел. и анализ информ. систем, 27:4 (2020), 472–487 |
2
|
2. |
В. А. Кухаренко, К. В. Зиборов, Р. Ф. Садыков, А. В. Наумчев, Р. М. Резин, Л. А. Меркин, “InnoChain: распределенный реестр для индустриального применения с формальной верификацией на всех уровнях реализации”, Модел. и анализ информ. систем, 27:4 (2020), 454–471 |
6
|
|