Towards an industrial use of FLUCTUAT on safety-critical avionics software (2009)

by D Delmas, E Goubault, S Putot, J Souyris, K Tekkal, F Védrine
Venue:In FMICS 2009, volume 5825 of Lecture Notes in Computer Science