analizzare le specifiche formali TIC | verificare le specifiche formali delle TIC | controllare le specifiche formali TIC | verificare le specifiche formali TIC
formale IKT-Spezifikationen verifizieren | formale IT-Spezifikationen überprüfen | formale IKT-Spezifikation überprüfen | formale IKT-Spezifikationen überprüfen