Analytical formulas for verification of aerodynamic force and moment computations.

Hiroaki Nishikawa

Published in: J. Comput. Phys. (2022)

Keyphrases

dynamic model
model checking
linear time temporal logic
formal verification
verification method
neural network
face recognition
face verification
formal analysis
signature verification
controller design
mathematical formulas
functional verification