Research on Verification Method of Civil Aircraft Maintenance Manual
Verification and validation of Reynolds-averaged Navier–Stokes turbulence models for external flow
Implementation and Verification of the SST-𝛾 and SA-AFT Transition Models in FUN3D
Implementation and Verification of the SST-𝜸 and SA-AFT Transition Models in FUN3D
Formal model of human erroneous behavior for safety analysis in collaborative robotics
CFD Validation Experiments: Toward a Broader Perspective
Formal verification in the loop to enhance verification of safety-critical cyber-physical systems
Progress in the airworthiness technology of civil aero-engine
A station-keeping control method for GEO spacecraft based on autonomous control architecture
Verification Test Suite for Spalart-Allmaras QCR2000 Turbulence Model
Formal Verification of the LDACS MAKE Protocol
Verification Test Suite for Spalart-Allmaras QCR2000 Turbulence Model
Verification Test Suite for Spalart-Allmaras QCR2000 Turbulence Model
Using Assume-Guarantee Contracts for Operational Verification of Autonomous Spacecraft
Using Assume-Guarantee Contracts in Autonomous Spacecraft