Machine Learning and Statistical Verification for Security. (Apprentissage et Vérification Statistique pour la Sécurité)

Dimitri Antakly. Machine Learning and Statistical Verification for Security. (Apprentissage et Vérification Statistique pour la Sécurité). PhD thesis, University of Nantes, France, 2020. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.