Regresar

Business Process Veri cation: The Application of Model Checking and Timed Automata

Abstract:

MENDOZA MORALES, Luis E. Business Process Veri cation: The Application of Model Checking and Timed Automata. CLEIej [online]. 2014, vol. 17, n. 2, pp. 3-3. ISSN 0717-5000.

Año de publicación:

2014

Keywords:

    Fuente:

    googlegoogle

    Tipo de documento:

    Other

    Estado:

    Acceso abierto

    Áreas de conocimiento:

    • Ciencias de la computación

    Áreas temáticas:

    • Ciencias de la computación
    • Métodos informáticos especiales

    Contribuidores:

    Luis Eduardo Mendoza MoralesLuis Eduardo Mendoza Morales