Introduction to characterization of monitors for testing safety-critical software.

Christian Di Biagio, Guido Pennella, Anna Lomartire, Giovanni Cantone

Browse the full ICSoft paper archive.