1. ScholarBank@NUS

Chen Chunqing

rp06774

Collaboration Map View Statistics Email Alert RSS Feed

Profile

Full Name
Chen Chunqing
(not current staff)
Variants
Chunqing, C.
Chen, C.
 
Main Affiliation
 
Faculty
 
Email
dcscc@nus.edu.sg
 

Publications

Refined By:
Author:  Jin, S.D.

Results 1-6 of 6 (Search time: 0.005 seconds).

Issue DateTitleAuthor(s)
12009A formal framework for modeling and validating Simulink diagramsChen, C. ; Dong, J.S. ; Sun, J. 
22010A verification system for interval-based specification languagesChen, C. ; Dong, J.S. ; Sun, J. ; Martin, A.
32008A verification system for timed interval calculusChen, C. ; Dong, J.S. ; Sun, J. 
42006Applying timed interval calculus to simulink diagramsChunqing, C. ; Jin, S.D. 
52009Integrating specification and programs for system modeling and verificationSun, J. ; Liu, Y. ; Jin, S.D. ; Chen, C. 
62007Machine-assisted proof support for validation beyond SimulinkChen, C. ; Dong, J.S. ; Sun, J.