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.
Actes de conférence:
IMCIC 2017 - 8th International Multi-Conference on Complexity, Informatics and Cybernetics, Proceedings

ISBN: 9781941763551

Année de publication: 2017

Volumen: 2017-March

Pages: 241-246

Type: Communication dans un congrès

GOOGLE SCHOLAR
La source de données: Scopus