Title of article :
Description of a teleconferencing floor control protocol ، its implementation
Author/Authors :
Mohammed Ouzzif، نويسنده , , Mohammed Erradi، نويسنده , , Hassan Mountassir، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2008
Keywords :
SCCP , Specification , LTL properties , Promela/Spin , Multimedia , Teleconferencing , Verification , Floor control
Journal title :
Engineering Applications of Artificial Intelligence
Journal title :
Engineering Applications of Artificial Intelligence
