基于xMAS模型的SpaceWire信誉逻辑的形式化验证 (xMAS-based Formal Verification of SpaceWire Credit Logic) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yanchun Li, Xiaojuan Li, Yong Guan, Rui Wang 0024, Jie Zhang, Hongxing Wei. 基于xMAS模型的SpaceWire信誉逻辑的形式化验证 (xMAS-based Formal Verification of SpaceWire Credit Logic). 计算机科学, 43(2):113-117, 2016. [doi]

This author has not been identified. Look up 'Yanchun Li' in GoogleThis author has not been identified. Look up 'Xiaojuan Li' in GoogleThis author has not been identified. Look up 'Yong Guan' in GoogleThis author has not been identified. Look up 'Rui Wang 0024' in GoogleThis author has not been identified. It may be one of the following persons:

Jie Zhang

Look up 'Jie Zhang' in GoogleThis author has not been identified. Look up 'Hongxing Wei' in Google

runs on WebDSL