TY - Computer Science A1 - LI Yan-chun, LI Xiao-juan, GUAN Yong, WANG Rui, ZHANG Jie and WEI Hong-xing T1 - xMAS-based Formal Verification of SpaceWire Credit Logic Y1 - 2018-12-01 JF - Computer Science JO - Computer Science SP - 113 EP - 117 VL - 43 IS - 2 UR - https://www.jsjkx.com N1 - 10.11896/j.issn.1002-137X.2016.02.026 ER -