Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/10609/92911
dc.contributor.author | Planas Hortal, Elena |
---|---|
dc.contributor.author | Cabot Sagrera, Jordi |
dc.contributor.author | Gómez, C. |
dc.date | 2019-04-04T16:56:40Z |
dc.date | 2019-04-04T16:56:40Z |
dc.date | 2016-11-01 |
dc.identifier.citation | Planas, E., Cabot, J., & Gómez, C. (2016). Lightweight and static verification of UML executable models. Computer Languages, Systems and Structures, 46, 66-90. doi:10.1016/j.cl.2016.07.002 |
dc.identifier.citation | 1477-8424 |
dc.identifier.citation | 2-s2.0-84981717853 |
dc.identifier.citation | 10.1016/j.cl.2016.07.002 |
dc.identifier.uri | http://hdl.handle.net/10609/92911 |
dc.format | application/pdf |
dc.language.iso | eng |
dc.publisher | Computer Languages, Systems and Structures |
dc.relation | https://upcommons.upc.edu/bitstream/2117/99390/1/lightweight-static-verification-of-UML-ex-models.pdf |
dc.rights | (c) Author/s & (c) Journal |
dc.title | Lightweight and static verification of UML executable models |
dc.type | info:eu-repo/semantics/article |
dc.description.abstract |