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: Model Checking

Date Issued: 2012

Results 1-3 of 3 (Search time: 0.004 seconds).

Refman EndNote Bibtex RefWorks Excel CSV PDF Send via email

	Issue Date	Title	Author(s)
1	2012	ACARP: Auto correct activity recognition rules using process analysis toolkit (PAT)	Lee, V.Y.; Liu, Y.; Zhang, X.; Phua, C.; Sim, K.; Zhu, J.; Biswas, J.; Dong, J.S. ; Mokhtari, M.
2	2012	Model checking software architecture design	Zhang, J.; Liu, Y.; Sun, J.; Dong, J.S. ; Sun, J.
3	2012	Translating PDDL into CSP# - The PAT Approach	Li, Y.; Sun, J.; Dong, J.S. ; Liu, Y. ; Sun, J.