|
|
Publications in Math-Net.Ru |
Citations |
|
2020 |
1. |
V. A. Kukharenko, K. V. Ziborov, R. F. Sadykov, A. V. Naumchev, R. M. Rezin, L. A. Merkin-Janson, “InnoChain: a distributed ledger for industry with formal verification on all implementation levels”, Model. Anal. Inform. Sist., 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”, Proceedings of ISP RAS, 29:4 (2017), 39–54 |
|
2015 |
3. |
Alexandr Naumchev, “Seamless development applicability: an experiment”, Proceedings of ISP RAS, 27:3 (2015), 57–72 |
|
Organisations |
|
|