Autori: Liu Ailun
| Naslov | Formal analysis and verification of the PSTM architecture using CSP (Article) |
| Autori | Liu Ailun Zhu Huibiao Popovic Miroslav V Xiang Shuangqing Zhang Lei |
| Info | JOURNAL OF SYSTEMS AND SOFTWARE, (2020), vol. 165 br. , str. - |
| Projekat | National Key Research and Development Program of China [2018YFB2101300]; National Natural Science Foundation of China [61872145]; Shanghai Collaborative Innovation Center of Trustworthy Software for Internet of |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Formalization and Verification of the PSTM Architecture (Proceedings Paper) |
| Autori | Liu Ailun Popovic Miroslav V Zhu Huibiao |
| Info | 2017 24TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2017), (2017), vol. br. , str. 427-435 |
| Projekat | Ministry of Education, Science and Technology Development of Republic of Serbia [TR-32031]; Shanghai Collaborative Innovation Center of Trustworthy Software for Internet of Things [ZF1213] |
| Ispravka | ISI/Web of Science Članak Citati: ISI/Web of Science Scopus |
