Для цитирования:
Глонина А.Б., Балашов В.В. О корректности моделирования модульных вычислительных систем реального времени с помощью сетей временных автоматов. Моделирование и анализ информационных систем. 2018;25(2):174-192. https://doi.org/10.18255/1818-1015-2018-2-174-192
For citation:
Glonina A.B., Balashov V.V. On the Correctness of Real-Time Modular Computer Systems Modeling with Stopwatch Automata Networks. Modeling and Analysis of Information Systems. 2018;25(2):174-192. (In Russ.) https://doi.org/10.18255/1818-1015-2018-2-174-192