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
Progress in the airworthiness technology of civil aero-engine
Formal verification in the loop to enhance verification of safety-critical cyber-physical systems
A station-keeping control method for GEO spacecraft based on autonomous control architecture
Formal Verification of the LDACS MAKE Protocol
Verification Test Suite for Spalart-Allmaras QCR2000 Turbulence Model
Using Assume-Guarantee Contracts for Operational Verification of Autonomous Spacecraft
Online and offline security policy assessment