analizzare le specifiche formali TIC | verificare le specifiche formali delle TIC | controllare le specifiche formali TIC | verificare le specifiche formali TIC
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