Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/113267
dc.contributor | Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació |
---|---|
dc.contributor | Facultat d'Informàtica de Barcelona |
dc.contributor | Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació |
dc.contributor.author | Estañol Lamarca, Montserrat |
dc.contributor.author | Marcos, Esperanza |
dc.contributor.author | Oriol Hilari, Xavier |
dc.contributor.author | Pérez, Francisco J. |
dc.contributor.author | Teniente López, Ernest |
dc.contributor.author | Vara, Juan M. |
dc.date | 2017 |
dc.identifier.citation | Estañol, M., Marcos, E., Oriol, X., Pérez, F. J., Teniente, E., Vara, J.M. Validation of Service Blueprint models by means of formal simulation techniques. A: International Conference on Service-Oriented Computing. "Service-Oriented Computing: 15th International Conference, ICSOC 2017: Málaga, Spain, November 13-16, 2017: proceedings". Málaga: Springer, 2017, p. 80-95. |
dc.identifier.citation | 978-3-319-69035-3 |
dc.identifier.citation | 10.1007/978-3-319-69035-3_6 |
dc.identifier.uri | http://hdl.handle.net/2117/113267 |
dc.language.iso | eng |
dc.publisher | Springer |
dc.relation | https://link.springer.com/chapter/10.1007%2F978-3-319-69035-3_6 |
dc.relation | info:eu-repo/grantAgreement/ES/1PE/TIN2014-52938-C2-2-R |
dc.rights | info:eu-repo/semantics/openAccess |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
dc.subject | Formal methods (Computer science) |
dc.subject | Service blueprint |
dc.subject | Validation |
dc.subject | Simulation |
dc.subject | Mètodes formals (Informàtica) |
dc.title | Validation of Service Blueprint models by means of formal simulation techniques |
dc.type | info:eu-repo/semantics/submittedVersion |
dc.type | info:eu-repo/semantics/conferenceObject |
dc.description.abstract | |
dc.description.abstract |