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

Relative timing verification revisited
Solé Simó, Marc; Pastor Llorens, Enric
Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors; Universitat Politècnica de Catalunya. ICARUS - Sistemes Aviònics i de Comunicació Intel·ligents per Avions no Tripulats Fiables
Àrees temàtiques de la UPC::Informàtica::Programació
Formal methods (Computer science)
Mètodes formals (Informàtica)
Programari -- Verificació
Attribution-NonCommercial-NoDerivs 3.0 Spain
http://creativecommons.org/licenses/by-nc-nd/3.0/es/
Artículo - Borrador
Informe
         

Mostrar el registro completo del ítem

Documentos relacionados

Otros documentos del mismo autor/a

Pastor Llorens, Enric; Solé Simó, Marc; López, Juan; Royo Chic, Pablo; Barrado Muxí, Cristina
Solé Simó, Marc; Pastor Llorens, Enric; Pérez Batlle, Marcos; Santamaria Barnadas, Eduard; Barrado Muxí, Cristina
Herranz Sotoca, Javier; Nin Guerrero, Jordi; Solé Simó, Marc
Sanchez Charles, David; Nin Guerrero, Jordi; Solé Simó, Marc; Muntés Mulero, Victor
Herranz Sotoca, Javier; Nin Guerrero, Jordi; Solé Simó, Marc