دورية أكاديمية
Crash-Resilient Decentralized Synchronous Runtime Verification
| العنوان: | Crash-Resilient Decentralized Synchronous Runtime Verification |
|---|---|
| المؤلفون: | Ganguly, R., Kazemloo, S., Bonakdarpour, B. |
| المصدر: | IEEE Transactions on Dependable and Secure Computing IEEE Trans. Dependable and Secure Comput. Dependable and Secure Computing, IEEE Transactions on. 21(3):1017-1031 Jun, 2024 |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | تدمد: | 15455971 19410018 21609209 |
|---|---|
| DOI: | 10.1109/TDSC.2023.3265566 |