Paper Info
Title
嵌入式操作系统的形式化验证研究 (Research on Formal Verification of Embedded Operating System).
Year
DOI
Venue
2015
Y2015/V42/I8/203
计算机科学
DocType
Volume
Issue
Journal
42
8
Citations 
PageRank 
References 
0
0.34
0
Authors
3
Name
Order
Citations
PageRank
Lirong Chen101.35
Yun Li218429.37
Lei Luo35612.41