Experimental Assessment of Astre on Safety-Critical Avionics Software.

Jean Souyris, David Delmas

Browse the full SAFECOMP paper archive.