Guillaume Brat

Guillaume Brat is the author of "Experimental Evaluation of Verification and Validation Tools on Martian Rover Software" and "NASA Formal Methods".

Books by Guillaume Brat

NASA Formal Metho...
Brat Guillaume
Paperback: $54.99

Experimental Eval...
Brat, Guillaume
Paperback: $15.75

NASA Formal Metho...
Brat Guillaume
Electronic book text: $107.00

NASA Formal Metho...
Brat Guillaume
Paperback: