Alex Van der Velden

Probabilistic Certificate of Correctness for Cyber Physical Systems

Srikanth Devanathan, David Fox, Alex Van der Velden, 2012 .

CAD to CAE Process Automation Through iSIGHT-FD

Alex Van der Velden, 2007 .

A DAVBA Approach for Complex VTOL Aircraft Development

nbsp, Daniel Schrage, Georgia Tech, 2015 .