Fei Wang

Orcid: 0000-0001-6563-8118

Affiliations:

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 database¹, Fei Wang authored at least 3 papers between 2014 and 2020.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2020

An Approach to Generate the Traceability Between Restricted Natural Language Requirements and AADL Models.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2020

2015

一种结合线性时序逻辑和故障树的软件安全验证方法 (Method Combining Linear Temporal Logic and Fault Tree for Software Safety Verification).

[BibT_eX]

[DOI]

计算机科学, 2015

2014

OMReasoner: combination of multi-matchers for ontology matching: results for OAEI 2014.

[BibT_eX]

[DOI]

Proceedings of the 9th International Workshop on Ontology Matching collocated with the 13th International Semantic Web Conference (ISWC 2014), 2014

Fei Wang

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...