ResumenEn esta nueva Recomendaci�n se define la sem�ntica operacional de la notaci�n de pruebas y de control de pruebas 3 (TTCN-3). La sem�ntica operacional es necesaria para interpretar inequ�vocamente las especificaciones hechas con TTCN-3. La presente Recomendaci�n utiliza el lenguaje n�cleo definido en la Rec. UIT‑T Z.140. |