Fei Wang
Orcid: 0000-0001-6563-8118Affiliations:
- Nanjing University of Aeronautics and Astronautics, College of Computer Science and Technology, Ministry of Industry and Information Technology Key Laboratory of Safety-Critical Software, China
According to our database1,
Fei Wang
authored at least 3 papers
between 2014 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
2014
2015
2016
2017
2018
2019
2020
0
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2020
An Approach to Generate the Traceability Between Restricted Natural Language Requirements and AADL Models.
IEEE Trans. Reliab., 2020
2015
一种结合线性时序逻辑和故障树的软件安全验证方法 (Method Combining Linear Temporal Logic and Fault Tree for Software Safety Verification).
计算机科学, 2015
2014
OMReasoner: combination of multi-matchers for ontology matching: results for OAEI 2014.
Proceedings of the 9th International Workshop on Ontology Matching collocated with the 13th International Semantic Web Conference (ISWC 2014), 2014