Xiaoxing Ma

Un aperçu de l'importance et des méthodes pour vérifier les systèmes distribués.

Une nouvelle méthode améliore les compétences mathématiques des machines grâce à une génération de problèmes innovante.