@article{RNTI/papers/1002937,
  author    = {Christophe Denis},
  title     = {Cadre méthodologique de spécification formelle d'un simulateur par apprentissage machine profond pour assurer sa validation},
  journal = {Revue des Nouvelles Technologies de l'Information},
  volume = {Extraction et Gestion des Connaissances, RNTI-E-40},
  year      = {2024},
  pages     = {337-338}
}