Feng Zhang

Statistics

Publications

Citations

178

H-Index

Active since

2008

Affiliations

State Key Laboratory of Software Development Environment(Current)

Feng Zhang is an author at State Key Laboratory of Software Development Environment specializing in engineering, computer engineering, and quantum computing.

ORCID

Top concepts

EngineeringVerificationFormal MethodsFault DiagnosisProcess ControlSystem SoftwareComputer ScienceProgram AnalysisQuantum ComputingReal-time Systems

Publications per year

2008–2017

Publications

Resveratrol reduces endothelial progenitor cells senescence through augmentation of telomerase activity by Akt‐dependent mechanisms

Liang Xia, Xu‐Liang Wang, Xiu Hu et al. · British Journal of Pharmacology · 2008 · 154 citations · Full text

Formal Verification of Behavioral AADL Models by Stateful Timed CSP

Feng Zhang, Yongwang Zhao, Dianfu Ma et al. · IEEE Access · 2017 · 13 citations · Full text

Aadl Behavior Annex, Engineering, Stateful Timed Csp +22

Application of Quantum Neural Network Based on Rough Set in Transformer Fault Diagnosis

Xianwen Ren, Feng Zhang, Lingfeng Zheng et al. · 2010 · 11 citations

Fault Diagnosis, Engineering, Quantum Computing +11

1–3 of 3