Author of the publication

A State-Transition-Based Incremental Protocol Specification.

, , and . ACM Conference on Computer Science, page 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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

CTW: an integrated computer and telephone-accessed WWW system., , and . Softw. Pract. Exp., 30 (13): 1485-1507 (2000)A CSMA/CA-Based Media Access Protocol Using the Registered Backoff Time Vector (RBTv) Mechanism for M2M Communications., , and . Mob. Networks Appl., 22 (1): 83-97 (2017)A scheme of access service recommendation for the Social Internet of Things., , , and . Int. J. Commun. Syst., 29 (4): 694-706 (2016)Multihomed SIP-based network mobility for the scheduled public transit service., , and . Wirel. Commun. Mob. Comput., 14 (1): 74-84 (2014)Group streaming service for the public transportation system over Fixed Mobile Convergence networks., , and . IWCMC, page 1187-1192. IEEE, (2013)A new approach to generate weighted fuzzy rules using genetic algorithms for estimating null values., and . Expert Syst. Appl., 35 (3): 905-917 (2008)Activity recognition for triggering cooperative networking among on-vehicle smart devices., , , and . ITST, page 80-84. IEEE, (2013)Distributed multimedia synchronization specifications using M2EST., , , and . Inf. Softw. Technol., 39 (8): 561-578 (1997)Probabilistic fuzzy timed protocol verification., , and . Comput. Commun., 19 (5): 407-425 (1996)An Estelle-Based Incremental Protocol Design System., , , , and . J. Syst. Softw., 36 (2): 115-135 (1997)