Autori: Yin Jiaqi
| Naslov | Formal Analysis and Verification of DPSTM v2 Architecture Using CSP (Proceedings Paper) |
| Autori | Li Peimu Yin Jiaqi Zhu Huibiao Xiao Lili Popovic Miroslav V 
|
| Info | 2022 IEEE 46TH ANNUAL COMPUTERS, SOFTWARE, AND APPLICATIONS CONFERENCE (COMPSAC 2022), (2022), vol. br. , str. 872-877 |
| Projekat | National Key Research and Development Program of China [2018YFB2101300]; National Natural Science Foundation of China [61872145, 62032024]; Shanghai Trusted Industry Internet Software Collaborative Innovation Center; Dean's Fund of Shanghai Key Laboratory of Trustworthy Computing (East China Normal University) |
| Ispravka | Web of Science Članak Citati: Web of Science Scopus |
     |
