학술논문 – 부산대학교 도서관

학술논문

replay검색결과 돌아가기

search검색화면

Formal Analysis of Distributed Shared Memory Algorithms

Document Type

Article

Author

Muhammad Atif; Muhammad Adnan Hashmi; Mudassar Naseer; Ahmad Salman Khan

Source

(2024): 192-196.

Subject

Virtual memory
Distributed Algorithm
Formal Specification
Verification

Language

Korean

Online Access

Full Text(스콜라)

이메일