Use of Runtime Enforcement for the Test of Real-time Systems.

Louis-Marie Givel, Matthias Brun, Camille Constant, Sbastien Faucou, Olivier H. Roux

Browse the full HPCC paper archive.