Васильев Николай Константинович

Публикации в базе данных Math-Net.Ru

1. Архитектура формально-верифицированной системы распределенного реестра InnoChain
   
   Модел. и анализ информ. систем, 27:4 (2020),  472–487