| 2003 |
|---|
| 7 | | Maria Törö,
Thong Tri Huynh,
Jinsong Zhu,
Kangming Liu,
Victor C. M. Leung:
CORBA Based Design and Implementation of Universal Personal Computing.
MONET 8(1): 75-86 (2003) |
| 2000 |
|---|
| 6 | EE | Maria Törö,
Jinsong Zhu,
Victor C. M. Leung:
Design of universal personal computing using SDL.
Computer Communications 23(12): 1124-1134 (2000) |
| 1999 |
|---|
| 5 | | Maria Törö:
Decision on Tester Configuration for Multiparty Testing.
IWTCS 1999: 109-130 |
| 1998 |
|---|
| 4 | | Maria Törö,
Jinsong Zhu,
Victor C. M. Leung:
SDL specification and verification of universal personal computing: with Object GEODE.
FORTE 1998: 267-282 |
| 3 | | Jinsong Zhu,
Maria Törö,
Victor C. M. Leung,
Son T. Vuong:
Supporting universal personal computing on the Internet with Java and CORBA.
Concurrency - Practice and Experience 10(11-13): 1007-1013 (1998) |
| 1997 |
|---|
| 2 | | Maria Törö:
Simulation of IP mobility support: An experiment in mobile protocol specification with SDL.
SDL Forum 1997: 119-134 |
| 1995 |
|---|
| 1 | | Maria Törö,
Katalin Tarnay:
Principles for validation of abstract test suites specified in concurrent TTCN.
PSTV 1995: 105-120 |
