TY  - RPRT
TI  - Probabilistic Failure Analysis in Model Validation & Verification
AU  - Ning Ge
AU  - Marc Pantel
AU  - Xavier Crégut
PY  - 2016
UR  - https://arxiv.org/abs/1611.05083
ID  - 1611.05083
ER  -