tsaccessamount   tslastupdatetime--

武玲娟

tsgtutor
tsname武玲娟
tsnamepinyinWu Lingjuan
tsprorankname副教授
tsjobtype在职
tseducation博士研究生毕业
tsdegree博士
tsemail
tsteachercollege信息学院
tsunit信息学院
tsothercontact

tsnocontent

论文成果
8. Wei Hu; Lingjuan Wu*; Yu Tai; Jing Tan; Jiliang Zhang. A unified formal model for proving security and reliability properties[C]//2020 IEEE 29th Asian Test Symposium (ATS). IEEE, 2020: 1-6.
tsreleasetime2024-03-20    tsclick

tstranslation