دورية أكاديمية
Identify spatio-temporal properties of network traffic by model checking
| العنوان: | Identify spatio-temporal properties of network traffic by model checking |
|---|---|
| المؤلفون: | Zheke, Yuan, Jun, NiuAff1, Aff2, Aff3, IDs11227023053889_cor2, Xurong, Lu, Fangmeng, Yang |
| المصدر: | The Journal of Supercomputing: An International Journal of High-Performance Computer Design, Analysis, and Use. 79(16):18886-18909 |
| قاعدة البيانات: | Springer Nature Journals |
Find this article in full text from Springer Verlag. 
Full Text Finder | تدمد: | 09208542 15730484 |
|---|---|
| DOI: | 10.1007/s11227-023-05388-9 |