Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/84024

Communication and compatibility in systems of systems: Correctness-by-construction
Beek, Maurice ter; Carmona Vargas, Josep; Kleijn, Jetty
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors
Computer architecture
Arquitectura d'ordinadors
http://creativecommons.org/licenses/by/3.0/es/
info:eu-repo/semantics/publishedVersion
Artículo
         

Mostrar el registro completo del ítem

Documentos relacionados

Otros documentos del mismo autor/a

Muñoz Gama, Jorge; Carmona Vargas, Josep; Van der Aalst, Wil M. P.
Carmona Vargas, Josep; Cortadella Fortuny, Jordi
Muñoz Gama, Jorge; Carmona Vargas, Josep; Aalst, Wil M.P. van der
Carmona Vargas, Josep; Solé, Marc
Carmona Vargas, Josep; Julvez Bueno, Jorge Emilio; Cortadella Fortuny, Jordi; Kishinevsky, Mike