2
Publications
82
Citations
2
H-Index
2013
Active since
Affiliations
Naijun Zhany is an author at Teesside University specializing in program analysis, verification, and computer engineering.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationSystems EngineeringComputer EngineeringModeling And Simulation
Publications per year
2013–2013
2
2
Verifying Simulink diagrams via a Hybrid Hoare Logic Prover
Liang Zou, Naijun Zhany, Shuling Wang et al. · 2013 · 47 citations
Verifying simulink diagrams via a hybrid hoare logic prover
Liang Zou, Naijun Zhany, Shuling Wang et al. · Embedded Software · 2013 · 35 citations
Rows per page
1–2 of 2