Runtime enforcement for component-based systems.
Hadil Charafeddine, Khalil El-Harake, Ylis Falcone, Mohamad Jaber
Browse the full SAC paper archive.
Hadil Charafeddine, Khalil El-Harake, Ylis Falcone, Mohamad Jaber
Browse the full SAC paper archive.