Documents T ESTING AND A SSESSMENT OF P ROTOCOLS AND S YSTEMS M ODELED AS E XTENDED F INITE S TATE M ACHINES.....

Testing and Assessment of Protocols and Systems Modeled as Extended Finite State Machines Tariq M. Salameh Advisor: Dr. Khaled El Fakih 30th of June 2013 1 Outlines Introduction…