Fondazione Bruno Kessler e Boeing: ricerche congiunte sulla sicurezza dei vettori aerei
I ricercatori della Fondazione Bruno Kessler (FBK) di Trento hanno realizzato uno studio scientifico congiunto con la società Boeing dedicato all’analisi di sicurezza basata su modelli formali matematici che verrà presentato alla più importante conferenza mondiale nel settore della verifica formale, CAV 2015, in programma dal 18 al 24 luglio a San Francisco.
L’importante collaborazione del centro di ricerca trentino con il colosso internazionale dell’aerospazio è nata grazie alla pluriennale esperienza di settore dell’Unità Embedded Systems guidata da Alessandro Cimatti e appartenente al Centro ICT della FBK, diretto da Paolo Traverso.
- Published in Tecnologie