–
Статьи в журналах
-
- 2023 Automated Verification of Multi-Party Agreements and Scheduling of Sending Messages in Distributed Ledger Systems
- Fedotov I.A., Khritankov A.S., Obidare M.D.
- в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 49, № 5, с. 448-454 DOI
-
- 2021 Statistical Model Checking of Common Attack Scenarios on Blockchain
- Fedotov I.A., Khritankov A.S.
- в журнале ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, том 342, с. 65-77 DOI