![](/img/cover-not-exists.png)
On the Correctness of Real-Time Modular Computer Systems Modeling with Stopwatch Automata Networks
Glonina, A. B., Balashov, V. V.Volume:
52
Language:
english
Journal:
Automatic Control and Computer Sciences
DOI:
10.3103/S0146411618070271
Date:
December, 2018
File:
PDF, 560 KB
english, 2018