author : Jin Song Dong

Short works

• Network Topology and a Case Study in TCOZ. 1998. (In ZUM '98 )
• Sensors and Actuators in TCOZ. 1999. (In FM'99 volume 2 )
• ZML: XML support for standard Z. 2003. (In ZB 2003 )