Author Info
Name
Affiliation
Papers
RUI WANG
Capital Normal Univ, Coll Informat Engn, Beijing, Peoples R China
6
Collaborators
Citations 
PageRank 
18
0
2.03
Referers 
Referees 
References 
0
72
22
Title
Citations
PageRank
Year
A Sensor Attack Detection Method in Intelligent Vehicle with Multiple Sensors00.342019
Formal Analysis and Verification of DDS in ROS2.00.342018
分数阶微积分定义的一致性在HOL4中的验证 (Formalization of Consistency of Fractional Calculus in HOL4).00.342016
Formal Modelling and Analysis of TCP for Nodes Communication with ROS.00.342016
基于xMAS模型的SpaceWire信誉逻辑的形式化验证 (xMAS-based Formal Verification of SpaceWire Credit Logic).00.342016
Model Checking for SpaceWire Link Interface Design Using Uppaal00.342013