บทความวิจัยพ.ศ. 2558
Timed Colored Petri Net (CPN) model of the Session Initiation Protocol (SIP) for formal verification of mobile applications
พ.ศ. 2558
คำสำคัญ
Simulation modelmobile applicationsSession initiation protocolSIPColored Petri NetCPNmobile conference calls