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. |