Author of the publication

Design of universal personal computing using SDL.

, , and . Computer Communications, 23 (12): 1124-1134 (2000)

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

Decision on Tester Configuration for Multiparty Testing.. IWTCS, volume 147 of IFIP Conference Proceedings, page 109-130. Kluwer, (1999)Proconsul, a tool for computer-aided protocol engineering., , , , , and . Microprocessing and Microprogramming, 38 (1-5): 821-825 (1993)SDL specification and verification of universal personal computing: with Object GEODE., , and . FORTE, volume 135 of IFIP Conference Proceedings, page 267-282. Kluwer, (1998)Principles for validation of abstract test suites specified in concurrent TTCN., and . PSTV, volume 38 of IFIP Conference Proceedings, page 105-120. Chapman & Hall, (1995)Design of universal personal computing using SDL., , and . Computer Communications, 23 (12): 1124-1134 (2000)Using Active Networks to Enable Universal Personal Computing., and . European Transactions on Telecommunications, 10 (3): 299-308 (1999)CORBA Based Design and Implementation of Universal Personal Computing., , , , and . MONET, 8 (1): 75-86 (2003)Simulation of IP mobility support: An experiment in mobile protocol specification with SDL.. SDL Forum, page 119-134. Elsevier, (1997)Test strategy for indeterministic protocols.. Microprocessing and Microprogramming, 38 (1-5): 827-832 (1993)Validation of abstract test suites with use of SDL., and . Microprocessing and Microprogramming, 40 (10-12): 711-714 (1994)