To access the full text documents, please follow this link: http://hdl.handle.net/2117/84024
dc.contributor | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
---|---|
dc.contributor | Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
dc.contributor.author | Beek, Maurice ter |
dc.contributor.author | Carmona Vargas, Josep |
dc.contributor.author | Kleijn, Jetty |
dc.date | 2015-07-01 |
dc.identifier.citation | Beek, M., Carmona, J., Kleijn, J. Communication and compatibility in systems of systems: Correctness-by-construction. "ERCIM news", 01 Juliol 2015, vol. 2015, núm. 102, p. 21-22. |
dc.identifier.citation | 0926-4981 |
dc.identifier.uri | http://hdl.handle.net/2117/84024 |
dc.language.iso | eng |
dc.relation | http://ercim-news.ercim.eu/en102/special/communication-and-compatibility-in-systems-of-systems-correctness-by-construction |
dc.rights | info:eu-repo/semantics/openAccess |
dc.rights | http://creativecommons.org/licenses/by/3.0/es/ |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors |
dc.subject | Computer architecture |
dc.subject | Arquitectura d'ordinadors |
dc.title | Communication and compatibility in systems of systems: Correctness-by-construction |
dc.type | info:eu-repo/semantics/publishedVersion |
dc.type | info:eu-repo/semantics/article |
dc.description.abstract |