Наумчев Александр Владимирович

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

1. InnoChain: распределенный реестр для индустриального применения с формальной верификацией на всех уровнях реализации
   
   Модел. и анализ информ. систем, 27:4 (2020),  454–471
2. A contract-based method to specify stimulus-response requirements
   
   Труды ИСП РАН, 29:4 (2017),  39–54
3. Seamless development applicability: an experiment
   
   Труды ИСП РАН, 27:3 (2015),  57–72