Regresar

A Semantic Formalization of UML-RT Models with csp+ t Processes Applicable to Real-time Systems Verification.

Abstract:

Año de publicación:

2006

Keywords:

    Fuente:

    googlegoogle

    Tipo de documento:

    Other

    Estado:

    Acceso abierto

    Áreas de conocimiento:

    • Ingeniería de software
    • Software

    Áreas temáticas:

    • Sistemas

    Contribuidores:

    Luis Eduardo Mendoza MoralesLuis Eduardo Mendoza Morales