| |
| 2008 | ||
|---|---|---|
| 5 | EE | Yingxu Wang, Cyprian F. Ngolah: An Operational Semantics of Real-Time Process Algebra (RTPA). IJCINI 2(3): 71-89 (2008) |
| 2006 | ||
| 4 | EE | Xinming Tan, Yingxu Wang, Cyprian F. Ngolah: Design and Implementation of an Automatic RTPA Code Generator. CCECE 2006: 434-437 |
| 3 | EE | Cyprian F. Ngolah, Yingxu Wang, Xinming Tan: Implementing the Real-Time Processes of RTPA using Real-Time Java. CCECE 2006: 602-605 |
| 2005 | ||
| 2 | EE | Cyprian F. Ngolah, Yingxu Wang: Formal specification of CORBA-based distributed objects and behaviors. IEEE ICCI 2005: 331-339 |
| 2004 | ||
| 1 | EE | Xinming Tan, Yingxu Wang, Cyprian F. Ngolah: Specification of the RTPA Grammar and Its Recognition. IEEE ICCI 2004: 54-63 |
| 1 | Xinming Tan | [1] [3] [4] |
| 2 | Yingxu Wang | [1] [2] [3] [4] [5] |