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

  1. Fernandez-Alvarez, A.-M.
  2. Fernandez-Lanvin, D.
  3. Quintela-Pumares, M.
Aktak:
IMCIC 2017 - 8th International Multi-Conference on Complexity, Informatics and Cybernetics, Proceedings

ISBN: 9781941763551

Argitalpen urtea: 2017

Alea: 2017-March

Orrialdeak: 241-246

Mota: Biltzar ekarpena