دورية أكاديمية
On the Correctness of Real-Time Modular Computer Systems Modeling with Stopwatch Automata Networks
| العنوان: | On the Correctness of Real-Time Modular Computer Systems Modeling with Stopwatch Automata Networks |
|---|---|
| المؤلفون: | Glonina, A. B.Aff1, Balashov, V. V.Aff1 |
| المصدر: | Automatic Control and Computer Sciences. 52(7):817-827 |
| قاعدة البيانات: | Springer Nature Journals |
Find this article in full text from Springer Verlag. 
Full Text Finder | تدمد: | 01464116 1558108X |
|---|---|
| DOI: | 10.3103/s0146411618070271 |