DMCA

Putting Flight Software Through the Paces with Testing, Model Checking, and Constraint-Solving

by Alex Groce , Gerard Holzmann , Rajeev Joshi , Ru-gang Xu
Citations:7 - 6 self