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:
Date Issued:  [2000 TO 2023]

Results 1-7 of 7 (Search time: 0.003 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. 
52010Formal analysis for stateflow diagramsChen, C. 
62009Integrating specification and programs for system modeling and verificationSun, J. ; Liu, Y. ; Jin, S.D. ; Chen, C. 
72007Machine-assisted proof support for validation beyond SimulinkChen, C. ; Dong, J.S. ; Sun, J.