Jin Song Dong

Collaboration Map View Statistics Email Alert RSS Feed

Full Name

Jin Song Dong

Variants

Dong, J.
Jin, S.D.
Dong, J.-S.
Song Dong, J.
Dong, J.S.

Main Affiliation

DEPARTMENT OF COMPUTER SCIENCE

Faculty

SCHOOL OF COMPUTING

dcsdjs@nus.edu.sg

Refined By:

Department: DEPARTMENT OF COMPUTER SCIENCE

Subject: TCOZ

Results 1-7 of 7 (Search time: 0.003 seconds).

Refman EndNote Bibtex RefWorks Excel CSV PDF Send via email

	Issue Date	Title	Author(s)
1	2001	A XML/XSL approach to visualize and animate TCOZ	Sun, J.; Dong, J.S. ; Liu, J.; Wang, H.
2	2002	Deep semantic links of TCSP and object-Z: TCOZ approach	Mahony, B.; Dong, J.S.
3	2005	Formal designs for embedded and hybrid systems	Dong, J.S. ; Hao, P.; Mahony, B.
4	2004	Generating MSCs from an integrated formal specification language	Dong, J.S. ; Qin, S. ; Sun, J.
5	2005	TCOZ approach to OWL-s process model design	Wang, H.; Sun, J.; Dong, J.S. ; Li, Y.F.
6	2004	TCOZ approach to semantic web services design	Dong, J.S. ; Li, Y.F. ; Wang, H.
7	2008	Timed automata patterns	Dong, J.S. ; Hao, P.; Qin, S.; Sun, J. ; Yi, W.