Data Validation « model-checker

(Clics: 110;Site ajouté: Jun 25, 2015, model-checker)

Formal methods for validating data

formal methods model checker prob predicateb data validation railways