Chen Chunqing

Collaboration Map View Statistics Email Alert RSS Feed

Full Name

Chen Chunqing

(not current staff)

Variants

Chunqing, C.
Chen, C.

Main Affiliation

DEPARTMENT OF COMPUTER SCIENCE

Faculty

SCHOOL OF COMPUTING

dcscc@nus.edu.sg

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

Refman EndNote Bibtex RefWorks Excel CSV PDF Send via email

	Issue Date	Title	Author(s)
1	2009	A formal framework for modeling and validating Simulink diagrams	Chen, C. ; Dong, J.S. ; Sun, J.
2	2010	A verification system for interval-based specification languages	Chen, C. ; Dong, J.S. ; Sun, J. ; Martin, A.
3	2008	A verification system for timed interval calculus	Chen, C. ; Dong, J.S. ; Sun, J.
4	2006	Applying timed interval calculus to simulink diagrams	Chunqing, C. ; Jin, S.D.
5	2010	Formal analysis for stateflow diagrams	Chen, C.
6	2009	Integrating specification and programs for system modeling and verification	Sun, J. ; Liu, Y. ; Jin, S.D. ; Chen, C.
7	2007	Machine-assisted proof support for validation beyond Simulink	Chen, C. ; Dong, J.S. ; Sun, J.