Vérification par preuve formelle de propriétés fonctionnelles d'algorithme de classification - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 2019

Vérification par preuve formelle de propriétés fonctionnelles d'algorithme de classification

(1, 2)
1
2
Fichier principal
Vignette du fichier
internship-report-parcoursup.pdf (98.18 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02421484 , version 1 (20-12-2019)

Identifiers

  • HAL Id : hal-02421484 , version 1

Cite

Léo Andrès. Vérification par preuve formelle de propriétés fonctionnelles d'algorithme de classification. [Rapport de recherche] Université Paris Sud (Paris 11) - Université Paris Saclay. 2019. ⟨hal-02421484⟩
268 View
249 Download

Share

Gmail Facebook Twitter LinkedIn More