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

Combining two formal methods of the static analyses;
La combinación de dos métodos formales de los análisis estáticos;
La combinació de dos mètodes formals de les anàlisis estàtiques
Honorat Poblette, Jorge Luis
Thirioux, Xavier; Garoche, Pierre-Loc
Àrees temàtiques de la UPC::Informàtica::Programació
Aeronautics
System analysis--Data processing
Programming (Mathematics)
Parallel programming (Computer science)
static analyses
análisis estático
Aeronàutica
Anàlisi de sistemes -- Informàtica
Programació (Matemàtica)
Programació en paral·lel (Informàtica)
Attribution-NonCommercial-NoDerivs 3.0 Spain
http://creativecommons.org/licenses/by-nc-nd/3.0/es/
info:eu-repo/semantics/masterThesis
Universitat Politècnica de Catalunya
         

Mostrar el registro completo del ítem