![](/img/cover-not-exists.png)
[IEEE 2020 Moscow Workshop on Electronic and Networking Technologies (MWENT) - Moscow, Russia (2020.3.11-2020.3.13)] 2020 Moscow Workshop on Electronic and Networking Technologies (MWENT) - Instrumental System of Temporal Analysis of Models of Concurrent Computing Systems Constructed Using Theory of Temporary Finite State Automata
Nikolaevich, Konnov Nikolai, Sergey Aleksandrovich, Zinkin, Nikolaevna, Puchkova Ulyana, Mikhail Petrovich, Sinev, Vladimirovich, Boriskin Vyacheslav, Dmitry Anatolievich, Trokoz, Ivanovich, MartyishkYear:
2020
DOI:
10.1109/mwent47943.2020.9067448
File:
PDF, 946 KB
2020