Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/85353
dc.contributor | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
---|---|
dc.contributor | Universitat Politècnica de Catalunya. LOGPROG - Lògica i Programació |
dc.contributor.author | Brockschmidt, Marc |
dc.contributor.author | Larraz Hurtado, Daniel |
dc.contributor.author | Oliveras Llunell, Albert |
dc.contributor.author | Rodríguez Carbonell, Enric |
dc.contributor.author | Rubio Gimeno, Alberto |
dc.date | 2015 |
dc.identifier.citation | Brockschmidt, M., Larraz, D., Oliveras, A., Rodriguez, E., Rubio, A. Compositional safety verification with Max-SMT. A: International Conference on Formal Methods in Computer-Aided Design. "FMCAD 2015 : 15th International Conference on Formal Methods in Computer-Aided Design: Austin, Texas, USA: September 27-30, 2015: proceedings book". Austin, Texas: 2015, p. 33-40. |
dc.identifier.citation | 978-0-9835678-5-1 |
dc.identifier.uri | http://hdl.handle.net/2117/85353 |
dc.language.iso | eng |
dc.relation | http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD15/proceedings/final.pdf |
dc.rights | info:eu-repo/semantics/openAccess |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Aplicacions de la informàtica::Disseny assistit per ordinador |
dc.subject | Computer-aided design--Software |
dc.subject | Disseny assistit per ordinador -- Tècniques |
dc.title | Compositional safety verification with Max-SMT |
dc.type | info:eu-repo/semantics/publishedVersion |
dc.type | info:eu-repo/semantics/conferenceObject |
dc.description.abstract | |
dc.description.abstract |