A Toolset for the Specification and Verification of Embedded Systems.

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

Browse the full PDPTA paper archive.