( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Methods of Formal Software Verification in the Context of Distributed Systems.

, , , и . ICCSA (2), том 11620 из Lecture Notes in Computer Science, стр. 546-555. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Yaroslavskyy Oleg

Diego José Olego

Oleg Kashin

Oleg Kovalev

Oleg Nivievskyi

 

Другие публикации лиц с тем же именем

Evaluation of Tools for Analyzing Smart Contracts in Distributed Ledger Technologies., , , и . ICCSA (2), том 11620 из Lecture Notes in Computer Science, стр. 522-536. Springer, (2019)Service-Oriented Petri Net Model.. ICCSA (6), том 12254 из Lecture Notes in Computer Science, стр. 51-66. Springer, (2020)Preliminary Cleaning and Transformation of Data in Data Mining Using PHP Pthreads Library., , , и . ICCSA (5), том 10408 из Lecture Notes in Computer Science, стр. 463-472. Springer, (2017)Application of Multi-core Architecture to the MPDRoot Package for the Task ToF Events Reconstruction., , , и . ICCSA (5), том 10408 из Lecture Notes in Computer Science, стр. 428-437. Springer, (2017)Controlled Remote Usage of Private Shared Resources via Docker and NoVNC., , и . ICCSA (4), том 11622 из Lecture Notes in Computer Science, стр. 782-791. Springer, (2019)NFT Performance and Security Review., и . ICCSA (Workshops 1), том 13377 из Lecture Notes in Computer Science, стр. 217-228. Springer, (2022)Reconstruction of Stone Walls in Form of Polygonal Meshes from Archaeological Studies., , , , , и . ICCSA (4), том 10963 из Lecture Notes in Computer Science, стр. 136-148. Springer, (2018)Distributed Data Processing on Microcomputers with Ascheduler and Apache Spark., , , , , , , , и . ICCSA (5), том 10408 из Lecture Notes in Computer Science, стр. 387-398. Springer, (2017)Analytical Comparison of DLT Platforms Activity., , , и . ICCSA (2), том 11620 из Lecture Notes in Computer Science, стр. 556-566. Springer, (2019)Methods of Formal Software Verification in the Context of Distributed Systems., , , и . ICCSA (2), том 11620 из Lecture Notes in Computer Science, стр. 546-555. Springer, (2019)