Towards an unified IP verification and robustness analysis platform.

David Hély Vincent Beroulle Feng Lu José Ramón García Oya

Published in: DDECS (2011)

Keyphrases

real time
quantitative analysis
computer vision
data sets
user interface
end to end
communication networks
formal analysis