Resultados de la búsqueda

  • Extending the consistency property of software transactional memory systems with business constraints in OCL and incremental checking [2017]

    Categoría:
    Ponencias
    Autores:
    Alberto Manuel Fernández Álvarez , Daniel Fernández Lanvin , Manuel Quintela Pumares
    Fecha:
    01 de Enero de 2017
    Es parte de:
    IMCIC 2017 - 8th International Multi-Conference on Complexity, Informatics and Cybernetics, Proceedings