Inventor

MENG BAOLUO

US2 patents

Patents

2 patents

US10169217B2Jan 1, 2019

System and method for test generation from software specification models that contain nonlinear arithmetic constraints over real number ranges

GEN ELECTRIC2 citations68

US12254778B2Mar 18, 2025

Aircraft conflict detection and resolution

GEN ELECTRIC0 citations42