Mostrar el registro sencillo del ítem
Extending the consistency property of software transactional memory systems with business constraints in OCL and incremental checking
dc.contributor.author | Fernández Álvarez, Alberto Manuel | |
dc.contributor.author | Fernández Lanvin, Daniel | |
dc.contributor.author | Quintela Pumares, Manuel | |
dc.date.accessioned | 2018-11-27T08:03:19Z | |
dc.date.available | 2018-11-27T08:03:19Z | |
dc.date.issued | 2017 | |
dc.identifier.isbn | 9781941763551 | |
dc.identifier.uri | http://www.iiis.org/CDs2017/CD2017Spring/papers/ZA885WP.pdf | |
dc.identifier.uri | http://hdl.handle.net/10651/49201 | |
dc.description | International Multi-Conference on Complexity, Informatics and Cybernetics, Proceedings(IMCIC 2017) (8th. 2017) | |
dc.description.sponsorship | GRUPIN14-100, NPST, National Plan for Science, Technology and Innovation; EGU, European Geosciences Union; FEDER, European Regional Development Fund | |
dc.format.extent | p. 241-246 | |
dc.language.iso | eng | |
dc.relation.ispartof | IMCIC 2017 - 8th International Multi-Conference on Complexity, Informatics and Cybernetics, Proceedings | |
dc.rights | ©, | |
dc.source | Scopus | |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-85049045123&partnerID=40&md5=5d7127a80ee486bb26449b025133f1ba | |
dc.title | Extending the consistency property of software transactional memory systems with business constraints in OCL and incremental checking | |
dc.type | conference output | spa |
Ficheros en el ítem
Ficheros | Tamaño | Formato | Ver |
---|---|---|---|
No hay ficheros asociados a este ítem. |