- -
UPV
 

General data

Curriculum

Regulations

Quality

Compliments, complaints and suggestions

poli[Consulta]



Información General

Ordenación Académica

Normativa Académica y Estructura organizativa

Internship

Master's Thesis

Academic exchange

Ofertas de empleo / Becas

Líneas y Grupos de Investigación

 
06/07/22
News
Charla - Analysis of safety-critical avionics software - NASA's Langley Research Center

Laura Titolo y Marco A. Feliú, antiguos alumnos del máster y doctorado, impartirán una charla el próximo 21 de julio en el salón de actos de la ETSInf a las 11:00.

 

Laura Titolo y Marco A. Feliú, antiguos alumnos del máster y doctorado, impartirán una charla el próximo 21 de julio en el salón de actos de la ETSInf a las 11:00.

Los investigadores del NASA's Langley Research Center presentarán una aproximación al análisis de software aeroespacial crítico ("Floating-point round-off error analysis of safety-critical avionics software") y a la verificación formal de PLEXIL ("A Formal Verification Framework for PLEXIL").


EMAS upv