2025TFG

Desarrollo de un entorno visual para la verificación de software crítico en sistemas aeronáuticos

Javier Molina Cuesta

Description and contribution

A visual environment supporting the verification of safety-critical aeronautical software.