Data Validation
(Clics: 108;Site ajouté: Jun 25, 2015)
- LIEN: data-validation.fr
- Pays: France
- mot-clé 1: formal methods
- mot-clé 2: model checker
- mot-clé 3: prob
- mot-clé 4: predicateb
- mot-clé 5: data
- mot-clé 6: validation
- mot-clé 7: railways
Description:
Formal methods for validating data