ES 201 873-4-2006 Métodos de prueba y especificación (MTS); La notación de pruebas y control de pruebas versión 3; Parte 4: Semántica operativa de TTCN-3 (V3.2.1)
El presente documento define la semántica operativa de TTCN-3. El presente documento se basa en el lenguaje central de TTCN-3 definido en ES 201 873-1 [1].
ES 201 873-4-2006 Historia
2017ES 201 873-4-2017 Métodos de prueba y especificación (MTS); La notación de pruebas y control de pruebas versión 3; Parte 4: Semántica operativa de TTCN-3 (V4.6.1)
2016ES 201 873-4-2016 Métodos de prueba y especificación (MTS); La notación de pruebas y control de pruebas versión 3; Parte 4: Semántica operativa de TTCN-3 (V4.5.1)
2012ES 201 873-4-2012 Métodos de prueba y especificación (MTS); La notación de pruebas y control de pruebas versión 3; Parte 4: Semántica operativa TTCN-3 (V4.4.0)
2010ES 201 873-4-2010 Métodos de prueba y especificación (MTS); La notación de pruebas y control de pruebas versión 3; Parte 4: Semántica operativa de TTCN-3 (V4.2.1)
2009ES 201 873-4-2009 Métodos de prueba y especificación (MTS); La notación de pruebas y control de pruebas versión 3; Parte 4: Semántica operativa de TTCN-3 (V4.1.1)
2008ES 201 873-4-2008 Métodos de prueba y especificación (MTS); La notación de pruebas y control de pruebas versión 3; Parte 4: Semántica operativa de TTCN-3 (V3.3.1)
2006ES 201 873-4-2006 Métodos de prueba y especificación (MTS); La notación de pruebas y control de pruebas versión 3; Parte 4: Semántica operativa de TTCN-3 (V3.2.1)
2005ES 201 873-4-2005 Métodos de prueba y especificación (MTS); La notación de pruebas y control de pruebas versión 3; Parte 4: Semántica operativa de TTCN-3 (V3.1.1)
2003ES 201 873-4-2003 Métodos de prueba y especificación (MTS); La notación de pruebas y control de pruebas versión 3; Parte 4: Semántica operativa de TTCN-3 (V2.2.1)
2002ES 201 873-4-2002 Métodos de prueba y especificación (MTS); Notación de pruebas y control de pruebas, versión 3; Parte 4: Semántica operativa de TTCN-3 (V2.2.1)