InnoChain: a Distributed Ledger for Industry with Formal Verification on all Implementation Levels | Kukharenko | Modeling and Analysis of Information Systems

Modeling and Analysis of Information Systems
Modelirovanie i analiz informacionnyh sistem

ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)

eng | рус

Preview

Modeling and Analysis of Information Systems

Advanced search

Archives

Download this PDF file

For citations:

Kukharenko V.A., Ziborov K.V., Sadykov R.F., Naumchev A.V., Rezin R.M., Merkin-Janson L.A. InnoChain: a Distributed Ledger for Industry with Formal Verification on all Implementation Levels. Modeling and Analysis of Information Systems. 2020;27(4):454-471. (In Russ.) https://doi.org/10.18255/1818-1015-2020-4-454-471

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 License.

ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)

* not an advertisement

Indexing Databases

* not an advertisement

Popular articles

Editor-in-Chief

Article Tools

How to cite item

Finding References

Email this article (Login required)

Email the author (Login required)

About the Authors

Vladimir Aleksandrovich Kukharenko
Moscow Institute of Physics and Technology
Russian Federation

Bachelor student

Kirill Viktorovich Ziborov
Lomonosov Moscow State University
Russian Federation

Bachelor student

Rafael Faritovich Sadykov
Lomonosov Moscow State University; Innopolis University
Russian Federation

Ph.D. student

Alexandr Vladimirovich Naumchev
Innopolis University
Russian Federation

Assistant professor, Ph.D

Ruslan Maratovich Rezin
Innopolis University
Russian Federation

MSc.

Leonid Albertovich Merkin-Janson
Innopolis University
Russian Federation

Professor at Innopolis University, Doctor of Mathematics, Delft University of Technology, Dr.

Notifications