Extending the consistency property of software transactional memory systems with business constraints in OCL and incremental checking
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