7 citations · 9 across the 4 of their papers we have counts for
1 paper · 1 filter
Jing Liu, John D. Backes, Darren Cofer +1
During the development and verification of complex airborne systems, a variety of languages and development environments are used for different levels of the system hierarchy. As a…