Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/168993
dc.contributor | Facultat d'Informàtica de Barcelona |
---|---|
dc.contributor | Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació |
dc.contributor | Universitat Politècnica de Catalunya. IMP - Information Modeling and Processing |
dc.contributor.author | Oriol Hilari, Xavier |
dc.contributor.author | Teniente López, Ernest |
dc.date | 2019 |
dc.identifier.citation | Oriol, X.; Teniente, E. Adapting integrity checking techniques for concurrent operation executions. A: System Analysis and Modelling Conference. "System Analysis and Modeling: Languages, Methods, and Tools for Industry 4.0, 11th International Conference, SAM 2019: Munich, Germany, September 16–17, 2019: proceedings". Berlín: Springer, 2019, p. 235-248. |
dc.identifier.citation | 978-3-030-30690-8 |
dc.identifier.citation | 10.1007/978-3-030-30690-8_14 |
dc.identifier.uri | http://hdl.handle.net/2117/168993 |
dc.language.iso | eng |
dc.publisher | Springer |
dc.relation | https://link.springer.com/chapter/10.1007%2F978-3-030-30690-8_14 |
dc.rights | info:eu-repo/semantics/openAccess |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació |
dc.subject | Data integrity |
dc.subject | Integrity checking |
dc.subject | Concurrent operations |
dc.subject | UML/OCL |
dc.subject | Dades -- Transmissió |
dc.title | Adapting integrity checking techniques for concurrent operation executions |
dc.type | info:eu-repo/semantics/submittedVersion |
dc.type | info:eu-repo/semantics/conferenceObject |
dc.description.abstract | |
dc.description.abstract |