examiner les spécifications formelles des TIC | inspecter les spécifications formelles des TIC | contrôler les spécifications formelles des TIC | vérifier les spécifications formelles des TIC
verify formal ICT specifications | verify formal IT specifications