|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2020 |
1. |
В. А. Кухаренко, К. В. Зиборов, Р. Ф. Садыков, А. В. Наумчев, Р. М. Резин, Л. А. Меркин, “InnoChain: распределенный реестр для индустриального применения с формальной верификацией на всех уровнях реализации”, Модел. и анализ информ. систем, 27:4 (2020), 454–471 |
5
|
|
2017 |
2. |
A. Naumchev, M. Mazzara, B. Meyer, J.-M. Bruel, F. Galinier, S. Ebersold, “A contract-based method to specify stimulus-response requirements”, Труды ИСП РАН, 29:4 (2017), 39–54 |
|
2015 |
3. |
Alexandr Naumchev, “Seamless development applicability: an experiment”, Труды ИСП РАН, 27:3 (2015), 57–72 |
|