BM.5502.2017 Вычислительные технологии

Fingerprint Dive into the research topics where BM.5502.2017 Вычислительные технологии is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

  • Network Recent external collaboration on country level. Dive into details by clicking on the dots.

    Research Output

    • 6 статья
    • 3 статья в сборнике материалов конференции
    • 2 патент
    • 1 глава/раздел

    Analytical Comparison of DLT Platforms Activity

    Iakushkin, O., Fatkina, A., Selivanov, D. & Korkhov, V., 1 Jul 2019, Computational Science and Its Applications – ICCSA 2019: 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II. Springer Nature, p. 556-566 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11620).

    Research outputpeer-review

  • Methods of Formal Software Verification in the Context of Distributed Systems

    Fatkina, A., Iakushkin, O., Selivanov, D. & Korkhov, V., 1 Jul 2019, Computational Science and Its Applications – ICCSA 2019: 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II. Cham: Springer Nature, p. 546-555 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11620).

    Research outputpeer-review