A Toolset for the Specification and Verification of Embedded Systems.

Mohamed Larbi Rebaiaia Mohamed Benmohamed Jihad Mohamad Jaam Ahmad Hasnah A Toolset for the Specification and Verification of Embedded Systems. 1539-1545 2003 conf/pdpta/2003-4 PDPTA db/conf/pdpta/pdpta2003-4.html#RebaiaiaBJH03a