Gender: Female E-Mail: wanglinalice@sjtu.edu.cn
Journal:《时代建筑》 Translation or Not:no Date of Publication:2018-11-01 Indexed by:期刊论文
Pre One:Verification of Opacity in Networked Supervisory Control Systems with Insecure Control Channels
Next One:Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks