A Rewriting Logic-Based Computation and Deduction Approach to Avoid Reactive System Malfunctions.

Mohamed Larbi Rebaiaia, Mohamed Benmohamed, Jihad Mohamad Jaam, Ahmad Hasnah

Browse the full PDPTA paper archive.