Sort by
Refine Your Search
-
using ProLB [3], an LB method software developed at LMFA in collaboration with other academic and industrial partners, including Renault, Safran and Airbus. Tail-shake can be described as the aerodynamic
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions