LETO - A Lustre-Based Test Oracle for Airbus Critical Systems

Guy Durrieu, Hélène Waeselynck, Virginie Wiels. LETO - A Lustre-Based Test Oracle for Airbus Critical Systems. In Darren D. Cofer, Alessandro Fantechi, editors, Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L Aquila, Italy, September 15-16, 2008, Revised Selected Papers. Volume 5596 of Lecture Notes in Computer Science, pages 7-22, Springer, 2008. [doi]

Abstract

Abstract is missing.