PDF(876 KB)
Research on Methodology of Formal Design and Verification for File System Based on Microkernel Architecture
QIAN Zhen-jiang(1,2,3,4)，TANG Hong-ying(2,3)，LI Kang-jie(2,3)，HUANG Hao(2,3)，SONG Fang-min(2,3)
Journal of Chinese Computer Systems ›› 2013, Vol. 34 ›› Issue (10) : 2261-2266.
PDF(876 KB)
PDF(876 KB)
Research on Methodology of Formal Design and Verification for File System Based on Microkernel Architecture
| {{custom_ref.label}} |
{{custom_citation.content}}
{{custom_citation.annotation}}
|
/
| 〈 |
|
〉 |
