Author of the publication

A State-Transition-Based Incremental Protocol Specification.

, , и . ACM Conference on Computer Science, стр. 30-37. ACM, (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Activity recognition for triggering cooperative networking among on-vehicle smart devices., , , и . ITST, стр. 80-84. IEEE, (2013)A new approach to generate weighted fuzzy rules using genetic algorithms for estimating null values., и . Expert Syst. Appl., 35 (3): 905-917 (2008)The Social Internet of Thing (S-IOT)-Based Mobile Group Handoff Architecture and Schemes for Proximity Service., , , и . IEEE Trans. Emerg. Top. Comput., 5 (3): 425-437 (2017)Multihomed SIP-based network mobility for the scheduled public transit service., , и . Wirel. Commun. Mob. Comput., 14 (1): 74-84 (2014)The unreliable-concurrent multipath transfer (U-CMT) protocol for multihomed networks - U-CMT., и . Telecommun. Syst., 52 (1): 245-259 (2013)Timed protocol verification for Estelle-specified protocols., и . Comput. Commun. Rev., 25 (3): 4-32 (1995)A CSMA/CA-Based Media Access Protocol Using the Registered Backoff Time Vector (RBTv) Mechanism for M2M Communications., , и . Mob. Networks Appl., 22 (1): 83-97 (2017)Efficient and Provably Secure IP Multimedia Subsystem Authentication for UMTS., и . Comput. J., 50 (6): 739-757 (2007)Fast handover control scheme for multi-node using the group-based approach., , и . IET Networks, 4 (1): 44-53 (2015)Packet Scheduling and Congestion Control Schemes for Multipath Datagram Congestion Control Protocol., , и . Comput. J., 58 (2): 188-203 (2015)