formal methods
Recherche
Résultats trouvés: 2
Deploy Project - Industrial deployment of system engineering methods providing high dependability an « formal-methods
(Clics: 114;Site ajouté: Jun 25, 2015, formal-methods)
industrial deployment of system engineering methods providing high dependability and productivity
deploy deployment industrial deployment system engineering engineering methods formal methods productivity dependability exploitation
Data Validation « formal-methods
(Clics: 109;Site ajouté: Jun 25, 2015, formal-methods)
Formal methods for validating data
formal methods model checker prob predicateb data validation railways